Difference between revisions of "Channel Coding/The Basics of Turbo Codes"

From LNTwww
 
(14 intermediate revisions by 2 users not shown)
Line 9: Line 9:
 
<br>
 
<br>
 
All communications systems current today&nbsp; $($2017$)$,&nbsp; such as&nbsp;
 
All communications systems current today&nbsp; $($2017$)$,&nbsp; such as&nbsp;
* [[Examples_of_Communication_Systems/General_Description_of_UMTS#.23_.C3.9CBERBLICK_ZUM_VIERTEN_HAUPTKAPITEL_.23|$\rm UMTS$]]&nbsp; $($"Universal Mobile Telecommunications System" &nbsp; &rArr; &nbsp; 3rd generation mobile communications$)$ and&nbsp;
+
* [[Examples_of_Communication_Systems/General_Description_of_UMTS#.23_OVERVIEW_OF_THE_FOURTH_MAIN_CHAPTER_.23|$\rm UMTS$]]&nbsp; $($"Universal Mobile Telecommunications System" &nbsp; &rArr; &nbsp; 3rd generation mobile communications$)$ and&nbsp;
 
*[[Mobile_Communications/General_Information_on_the_LTE_Mobile_Communications_Standard#.23_OVERVIEW_OF_THE_FOURTH_MAIN_CHAPTER_.23|$\rm LTE$]]&nbsp; $($"Long Term Evolution"&nbsp; &rArr; &nbsp; 4th generation mobile communications$)$  
 
*[[Mobile_Communications/General_Information_on_the_LTE_Mobile_Communications_Standard#.23_OVERVIEW_OF_THE_FOURTH_MAIN_CHAPTER_.23|$\rm LTE$]]&nbsp; $($"Long Term Evolution"&nbsp; &rArr; &nbsp; 4th generation mobile communications$)$  
  
  
use the concept of&nbsp; [[Channel_Coding/Soft-in_Soft-Out_Decoder#Symbol-wise_soft-in_soft-out_decoding| "symbol-wise iterative decoding"]].&nbsp; This  is directly related to the invention of&nbsp; '''turbo codes'''&nbsp; in 1993 by&nbsp; [https://en.wikipedia.org/wiki/Claude_Berrou $\text{Claude Berrou}$],&nbsp; [https://en.wikipedia.org/wiki/Alain_Glavieux $\text{Alain Glavieux}$]&nbsp; and&nbsp; [https://scholar.google.com/citations?user=-UZolIAAAAAJ $\text{Punya Thitimajshima}$]&nbsp; because it was only with these codes that the Shannon bound could be approached with reasonable decoding effort.<br>
+
use the concept of&nbsp; [[Channel_Coding/Soft-in_Soft-Out_Decoder#Bit-wise_soft-in_soft-out_decoding|$\text{symbol-wise iterative decoding}$]].&nbsp; This  is directly related to the invention of&nbsp; &raquo;'''turbo codes'''&laquo;&nbsp; in 1993 by&nbsp; [https://en.wikipedia.org/wiki/Claude_Berrou $\text{Claude Berrou}$],&nbsp; [https://en.wikipedia.org/wiki/Alain_Glavieux $\text{Alain Glavieux}$]&nbsp; and&nbsp; [https://scholar.google.com/citations?user=-UZolIAAAAAJ $\text{Punya Thitimajshima}$]&nbsp; because it was only with these codes that the Shannon bound could be approached with reasonable decoding effort.<br>
  
 
Turbo codes result from the parallel or serial concatenation of convolutional codes.&nbsp;  
 
Turbo codes result from the parallel or serial concatenation of convolutional codes.&nbsp;  
Line 41: Line 41:
 
#As required for the description of convolutional codes,&nbsp; at the input  is the information sequence&nbsp; $\underline{u} = (u_1, \ u_2, \ \text{...}\hspace{0.05cm} , \ u_i , \ \text{...}\hspace{0.05cm} )$&nbsp; instead of the isolated information bit&nbsp; $u$&nbsp;.<br>
 
#As required for the description of convolutional codes,&nbsp; at the input  is the information sequence&nbsp; $\underline{u} = (u_1, \ u_2, \ \text{...}\hspace{0.05cm} , \ u_i , \ \text{...}\hspace{0.05cm} )$&nbsp; instead of the isolated information bit&nbsp; $u$&nbsp;.<br>
 
#The code word sequence&nbsp; $\underline{x} = (\underline{X}_1, \underline{X}_2, \ \text{...}\hspace{0.05cm}  , \ \underline{X}_i, \ \text{...}\hspace{0.05cm} )$&nbsp; is generated.&nbsp;  To avoid confusion,&nbsp; the code words&nbsp; $\underline{X}_i = (u, \ p_1, \ p_2)$&nbsp; with capital letters were introduced in the last section.<br>
 
#The code word sequence&nbsp; $\underline{x} = (\underline{X}_1, \underline{X}_2, \ \text{...}\hspace{0.05cm}  , \ \underline{X}_i, \ \text{...}\hspace{0.05cm} )$&nbsp; is generated.&nbsp;  To avoid confusion,&nbsp; the code words&nbsp; $\underline{X}_i = (u, \ p_1, \ p_2)$&nbsp; with capital letters were introduced in the last section.<br>
#The encoders&nbsp; $\mathcal{C}_1$&nbsp; and&nbsp; $\mathcal{C}_2$&nbsp; are conceived&nbsp; $($at least in thought$)$&nbsp; as&nbsp; [[Theory_of_Stochastic_Signals/Digital_Filters| $\text{digital filters}$]]&nbsp; and are thus characterized by the&nbsp; [[Channel_Coding/Algebraic_and_Polynomial_Description#Application_of_the_D. E2.80.93transform_to_rate_.7F.27 .22.60UNIQ-MathJax160-QINU.60.22.27.7F_convolution_encoders| $\text{transfer functions}$]]&nbsp; $G_1(D)$&nbsp; and&nbsp; $G_2(D)$.<br>
+
#The encoders&nbsp; $\mathcal{C}_1$&nbsp; and&nbsp; $\mathcal{C}_2$&nbsp; are conceived&nbsp; $($at least in thought$)$&nbsp; as&nbsp; [[Theory_of_Stochastic_Signals/Digital_Filters| $\text{digital filters}$]]&nbsp; and are thus characterized by the&nbsp; [[Channel_Coding/Algebraic_and_Polynomial_Description#Application_of_the_D.E2.80.93transform_to_rate_.7F.27.22.60UNIQ-MathJax158-QINU.60.22.27.7F_convolution_encoders| $\text{transfer functions}$]]&nbsp; $G_1(D)$&nbsp; and&nbsp; $G_2(D)$.<br>
#For various reasons &nbsp; &#8658; &nbsp; see&nbsp; [[Channel_Coding/The_Basics_of_Turbo_Codes#Second_Requirement_f.C3. BCr_Turbocodes:_Interleaving| "two sections ahead"]]&nbsp; the input sequence of the second encoder &nbsp; &#8658; &nbsp; $\underline{u}_{\pi}$&nbsp; should be scrambled with respect to the sequence&nbsp; $\underline{u}$&nbsp; by an interleaver&nbsp; $(\Pi)$.<br>
+
#For various reasons &nbsp; &#8658; &nbsp; see&nbsp; [[Channel_Coding/The_Basics_of_Turbo_Codes#Second_requirement_for_turbo_codes:_Interleaving| "two sections ahead"]]&nbsp; the input sequence of the second encoder &nbsp; &#8658; &nbsp; $\underline{u}_{\pi}$&nbsp; should be scrambled with respect to the sequence&nbsp; $\underline{u}$&nbsp; by an interleaver&nbsp; $(\Pi)$.<br>
 
#Thereby there is nothing against choosing both encoders the same:&nbsp; $G_1(D) = G_2(D) = G(D)$.&nbsp; Without interleaver the correction capability would be extremely limited.<br><br>
 
#Thereby there is nothing against choosing both encoders the same:&nbsp; $G_1(D) = G_2(D) = G(D)$.&nbsp; Without interleaver the correction capability would be extremely limited.<br><br>
  
 
{{GraueBox|TEXT=
 
{{GraueBox|TEXT=
[[File:EN_KC_T_4_3_S1d_v1.png|right|frame|Example sequences at the rate&nbsp; $1/3$&nbsp; turbo encoder|class=fit]]  
+
[[File:EN_KC_T_4_3_S1d_v2.png|right|frame|Example sequences at the rate&nbsp; $1/3$&nbsp; turbo encoder|class=fit]]  
 
$\text{Example 1:}$&nbsp; The graph shows the different sequences in matched colors. To note:
 
$\text{Example 1:}$&nbsp; The graph shows the different sequences in matched colors. To note:
#For&nbsp; $\underline{u}_{\Pi}$&nbsp; a&nbsp; $3×4$&nbsp; interleaver matrix is considered according to&nbsp; [[Aufgaben:Exercise_4.08Z:_Basics_about_Interleaving|$\text{Exercise 4.8Z}$]].<br><br>
+
#For&nbsp; $\underline{u}_{\Pi}$&nbsp; a&nbsp; $3×4$&nbsp; interleaver matrix is considered according to&nbsp; [[Aufgaben:Exercise_4.08Z:_Basics_about_Interleaving|"Exercise 4.8Z"]].<br><br>
#The parity sequences are obtained according to&nbsp; $G_1(D) = G_2(D) = 1 + D^2$ &nbsp; &#8658; &nbsp; see&nbsp; [[Aufgaben:Exercise_4.08:_Repetition_to_the_Convolutional_Codes|$\text{Exercise 4.8}$]].}}<br>
+
#The parity sequences are obtained according to&nbsp; $G_1(D) = G_2(D) = 1 + D^2$ &nbsp; &#8658; &nbsp; see&nbsp; [[Aufgaben:Exercise_4.08:_Repetition_to_the_Convolutional_Codes|"Exercise 4.8"]].}}<br>
  
 
== First requirement for turbo codes: Recursive component codes ==
 
== First requirement for turbo codes: Recursive component codes ==
Line 71: Line 71:
  
  
More details on the examples in this section can be found in the&nbsp; [[Aufgaben:Exercise_4.08Z:_Basics_about_Interleaving|$\text{Exercise 4.8}$]]&nbsp; and the&nbsp; [[Aufgaben:Exercise_4.09:_Recursive_Systematic_Convolutional_Codes|$\text{Exercise 4.9}$]].<br>
+
More details on the examples in this section can be found in the&nbsp; [[Aufgaben:Exercise_4.08Z:_Basics_about_Interleaving|"Exercise 4.8"]]&nbsp; and the&nbsp; [[Aufgaben:Exercise_4.09:_Recursive_Systematic_Convolutional_Codes|"Exercise 4.9"]].<br>
  
 
== Second requirement for turbo codes: Interleaving ==
 
== Second requirement for turbo codes: Interleaving ==
Line 109: Line 109:
 
:$$1, 9, 17, 25, 33, 41, 49, 57, 2, 10, 18, \ \text{...}\hspace{0.05cm} , 48, 56, 64.$$
 
:$$1, 9, 17, 25, 33, 41, 49, 57, 2, 10, 18, \ \text{...}\hspace{0.05cm} , 48, 56, 64.$$
  
More information on block interleaving is available in the&nbsp; [[Aufgaben:Exercise_4.08Z:_Basics_about_Interleaving| $\text{Exercise 4.8Z}$]].<br>
+
More information on block interleaving is available in the&nbsp; [[Aufgaben:Exercise_4.08Z:_Basics_about_Interleaving|"Exercise 4.8Z"]].<br>
  
 
[[File:P ID3050 KC T 4 3 S3b v5.png|left|frame|Clarification of $S$&ndash;random interleaving]]
 
[[File:P ID3050 KC T 4 3 S3b v5.png|left|frame|Clarification of $S$&ndash;random interleaving]]
Line 125: Line 125:
 
<br clear=all>
 
<br clear=all>
  
== Symbol-wise iterative decoding of a turbo code ==
+
== Bit-wise iterative decoding of a turbo code ==
 
<br>
 
<br>
The decoding of a turbo code is basically done as described in section&nbsp; [[Channel_Coding/Soft-in_Soft-Out_Decoder#Symbol-wise_soft-in_soft-out_decoding|"Symbol-wise Soft&ndash;in Soft&ndash;out Decoding"]].&nbsp; From the following graphic,&nbsp; however,&nbsp; you can also see some special features that apply only to the turbo decoder.<br>
+
The decoding of a turbo code is basically done as described in section&nbsp; [[Channel_Coding/Soft-in_Soft-Out_Decoder#Bit-wise_soft-in_soft-out_decoding|"Bit-wise Soft&ndash;in Soft&ndash;out Decoding"]].&nbsp; From the following graphic,&nbsp; however,&nbsp; you can also see some special features that apply only to the turbo decoder.<br>
  
 
Assumed is a rate&nbsp; $1/3$&nbsp; turbo code according to the description in the&nbsp; [[Channel_Coding/The_Basics_of_Turbo_Codes#Basic_structure_of_a_turbo_code| "first section of this page"]].&nbsp; Also,&nbsp; the color scheme for the information sequence&nbsp; $\underline{u}$&nbsp; and the two parity sequences&nbsp; $\underline{p}_1$&nbsp; and&nbsp; $\underline{p}_2$&nbsp; are adapted from the earlier graphics.&nbsp; Further,&nbsp; it should be noted:
 
Assumed is a rate&nbsp; $1/3$&nbsp; turbo code according to the description in the&nbsp; [[Channel_Coding/The_Basics_of_Turbo_Codes#Basic_structure_of_a_turbo_code| "first section of this page"]].&nbsp; Also,&nbsp; the color scheme for the information sequence&nbsp; $\underline{u}$&nbsp; and the two parity sequences&nbsp; $\underline{p}_1$&nbsp; and&nbsp; $\underline{p}_2$&nbsp; are adapted from the earlier graphics.&nbsp; Further,&nbsp; it should be noted:
[[File:P ID3049 KC T 4 3 S4a v2.png|right|frame|Iterative turbo decoder for rate&nbsp; $R = 1/3$|class=fit]]
+
[[File:EN_KC_T_4_3_S4a_v2.png|right|frame|Iterative turbo decoder for rate&nbsp; $R = 1/3$ |class=fit]]
  
 
*The received vectors&nbsp; $\underline{y}_0,\hspace{0.15cm} \underline{y}_1,\hspace{0.15cm} \underline{y}_2$&nbsp; are real-valued and provide the respective soft information with respect to the information sequence&nbsp; $\underline{u}$&nbsp; and the sequences&nbsp; $\underline{p}_1$&nbsp; $($parity for encoder 1$)$&nbsp; and&nbsp; $\underline{p}_2$&nbsp; $($parity for encoder 2$)$.<br>
 
*The received vectors&nbsp; $\underline{y}_0,\hspace{0.15cm} \underline{y}_1,\hspace{0.15cm} \underline{y}_2$&nbsp; are real-valued and provide the respective soft information with respect to the information sequence&nbsp; $\underline{u}$&nbsp; and the sequences&nbsp; $\underline{p}_1$&nbsp; $($parity for encoder 1$)$&nbsp; and&nbsp; $\underline{p}_2$&nbsp; $($parity for encoder 2$)$.<br>
Line 138: Line 138:
 
*In the second decoder,&nbsp; the scrambling of the information sequence&nbsp; $\underline{u}$&nbsp; must be taken into account.&nbsp; Thus,&nbsp; the&nbsp; $L$ values to be processed are&nbsp; $\pi(L_{\rm K, \hspace{0.03cm}0})$&nbsp; and&nbsp; $L_{\rm K, \hspace{0.03cm}2}$.<br>
 
*In the second decoder,&nbsp; the scrambling of the information sequence&nbsp; $\underline{u}$&nbsp; must be taken into account.&nbsp; Thus,&nbsp; the&nbsp; $L$ values to be processed are&nbsp; $\pi(L_{\rm K, \hspace{0.03cm}0})$&nbsp; and&nbsp; $L_{\rm K, \hspace{0.03cm}2}$.<br>
  
*In the general&nbsp; [[Channel_Coding/Soft-in_Soft-Out_Decoder#Basic_structure_of_concatenated_coding_systems|"SISO decoder"]]&nbsp; the information exchange between the two component decoders was controlled with&nbsp; $\underline{L}_{\rm A, \hspace{0.03cm}2} = \underline{L}_{\rm E, \hspace{0.03cm}1}$&nbsp; and&nbsp; $\underline{L}_{\rm A, \hspace{0.03cm}1} = \underline{L}_{\rm E, \hspace{0.03cm}2}$.  
+
*In the general&nbsp; [[Channel_Coding/Soft-in_Soft-Out_Decoder#Basic_structure_of_concatenated_coding_systems|$\text{SISO decoder}$]]&nbsp; the information exchange between the two component decoders was controlled with&nbsp; $\underline{L}_{\rm A, \hspace{0.03cm}2} = \underline{L}_{\rm E, \hspace{0.03cm}1}$&nbsp; and&nbsp; $\underline{L}_{\rm A, \hspace{0.03cm}1} = \underline{L}_{\rm E, \hspace{0.03cm}2}$.  
  
 
*Written out at the bit level,&nbsp; these equations are denoted by&nbsp; $(1 &#8804; i &#8804; n)$:
 
*Written out at the bit level,&nbsp; these equations are denoted by&nbsp; $(1 &#8804; i &#8804; n)$:
Line 169: Line 169:
 
* the information sequence&nbsp; $\underline{u}$&nbsp; into blocks of&nbsp; $K$&nbsp; information bits each,&nbsp; and<br>
 
* the information sequence&nbsp; $\underline{u}$&nbsp; into blocks of&nbsp; $K$&nbsp; information bits each,&nbsp; and<br>
  
*the code sequence&nbsp; $\underline{x}$&nbsp; to blocks with each&nbsp; $N = 3 \cdot K$&nbsp; encoded bits.<br><br>
+
*the encoded sequence&nbsp; $\underline{x}$&nbsp; to blocks with each&nbsp; $N = 3 \cdot K$&nbsp; encoded bits.<br><br>
  
 
All results apply to the&nbsp; [[Channel_Coding/Channel_Models_and_Decision_Structures#AWGN_channel_at_binary_input|$\text{AWGN channel}$]]. Data are taken from the lecture notes&nbsp; [Liv15]<ref>Liva, G.:&nbsp; Channels Codes for Iterative Decoding.&nbsp; Lecture notes, Department of Communications Engineering, TU Munich and DLR Oberpfaffenhofen, 2015.</ref>.   
 
All results apply to the&nbsp; [[Channel_Coding/Channel_Models_and_Decision_Structures#AWGN_channel_at_binary_input|$\text{AWGN channel}$]]. Data are taken from the lecture notes&nbsp; [Liv15]<ref>Liva, G.:&nbsp; Channels Codes for Iterative Decoding.&nbsp; Lecture notes, Department of Communications Engineering, TU Munich and DLR Oberpfaffenhofen, 2015.</ref>.   
Line 190: Line 190:
 
&rArr; &nbsp; We now try to explain the flatter drop in bit error probability with larger&nbsp; $E_{\rm B}/N_0$.&nbsp; This is called an&nbsp; &raquo;$\text{error floor}$&laquo;:
 
&rArr; &nbsp; We now try to explain the flatter drop in bit error probability with larger&nbsp; $E_{\rm B}/N_0$.&nbsp; This is called an&nbsp; &raquo;$\text{error floor}$&laquo;:
  
#The reason for this asymptotically worse behavior with better channel&nbsp; $($in the example: &nbsp; ab&nbsp; $10 \cdot {\rm lg} \, E_{\rm B}/N_0 \ge 2 \ \rm dB)$&nbsp; is the period&nbsp; $P$&nbsp; of the encoder impulse response&nbsp; $\underline{g}$,&nbsp; as demonstrated in the section&nbsp; [[Channel_Coding/The_Basics_of_Turbo_Codes#Second_requirement_for_turbo_codes: _Interleaving|$\rm Interleaving$]],&nbsp;  and explained  in the&nbsp; [[Aufgaben:Exercise_4.10:_Turbo_Encoder_for_UMTS_and_LTE|$\text{Exercise 4.10}$]]&nbsp; with examples. <br>
+
#The reason for this asymptotically worse behavior with better channel&nbsp; $($in the example: &nbsp; from&nbsp; $10 \cdot {\rm lg} \, E_{\rm B}/N_0 \ge 2 \ \rm dB)$&nbsp; is the period&nbsp; $P$&nbsp; of the encoder impulse response&nbsp; $\underline{g}$,&nbsp; as demonstrated in the section&nbsp; [[Channel_Coding/The_Basics_of_Turbo_Codes#Second_requirement_for_turbo_codes: _Interleaving|$\rm Interleaving$]],&nbsp;  and explained  in the&nbsp; [[Aufgaben:Exercise_4.10:_Turbo_Encoder_for_UMTS_and_LTE|"Exercise 4.10"]]&nbsp; with examples. <br>
 
#For&nbsp; $m = 2$,&nbsp; the period is&nbsp; $P = 2^m -1 = 3$.&nbsp; Thus,&nbsp; for&nbsp; $\underline{u} = (1, 1, 1) &nbsp; &#8658; &nbsp; w_{\rm H}(\underline{u}) = 3$&nbsp;  the parity sequence is bounded: &nbsp; $\underline{p} = (1, 0, 1)$ &nbsp; &#8658; &nbsp; $w_{\rm H}(\underline{p}) = 2$ &nbsp; despite unbounded impulse response&nbsp; $\underline{g}$.<br>
 
#For&nbsp; $m = 2$,&nbsp; the period is&nbsp; $P = 2^m -1 = 3$.&nbsp; Thus,&nbsp; for&nbsp; $\underline{u} = (1, 1, 1) &nbsp; &#8658; &nbsp; w_{\rm H}(\underline{u}) = 3$&nbsp;  the parity sequence is bounded: &nbsp; $\underline{p} = (1, 0, 1)$ &nbsp; &#8658; &nbsp; $w_{\rm H}(\underline{p}) = 2$ &nbsp; despite unbounded impulse response&nbsp; $\underline{g}$.<br>
 
#The sequence &nbsp; $\underline{u} = (0, \ \text{...}\hspace{0.05cm} , \ 0, \ 1, \ 0, \ 0, \ 1, \ 0, \ \text{...}\hspace{0.05cm})$ &nbsp; &#8658; &nbsp; $U(D) = D^x \cdot (1 + D^P)$&nbsp; also leads to a small Hamming weight&nbsp; $w_{\rm H}(\underline{p})$&nbsp; at the output,&nbsp; which complicates the iterative decoding process.<br>
 
#The sequence &nbsp; $\underline{u} = (0, \ \text{...}\hspace{0.05cm} , \ 0, \ 1, \ 0, \ 0, \ 1, \ 0, \ \text{...}\hspace{0.05cm})$ &nbsp; &#8658; &nbsp; $U(D) = D^x \cdot (1 + D^P)$&nbsp; also leads to a small Hamming weight&nbsp; $w_{\rm H}(\underline{p})$&nbsp; at the output,&nbsp; which complicates the iterative decoding process.<br>
 
#Some workaround is provided by the interleaver,&nbsp; which ensures that both sequences&nbsp; $\underline{p}_1$&nbsp; and&nbsp; $\underline{p}_2$&nbsp; are not simultaneously loaded by very small Hamming weights&nbsp; $w_{\rm H}(\underline{p}_1)$&nbsp; and&nbsp; $w_{\rm H}(\underline{p}_2)$.<br>
 
#Some workaround is provided by the interleaver,&nbsp; which ensures that both sequences&nbsp; $\underline{p}_1$&nbsp; and&nbsp; $\underline{p}_2$&nbsp; are not simultaneously loaded by very small Hamming weights&nbsp; $w_{\rm H}(\underline{p}_1)$&nbsp; and&nbsp; $w_{\rm H}(\underline{p}_2)$.<br>
#From the graph you can also see that the bit error probability is inversely proportional to the interleaver size&nbsp; $K$&nbsp;. That means: &nbsp; With large&nbsp; $K$&nbsp; the despreading of unfavorable input sequences works better.<br>
+
#From the graph you can also see that the bit error probability is inversely proportional to the interleaver size&nbsp; $K$.&nbsp; That means: &nbsp; With large&nbsp; $K$&nbsp; the despreading of unfavorable input sequences works better.<br>
 +
#However,&nbsp; the approximation &nbsp; $K \cdot {\rm Pr(bit\:error) = const.}$ &nbsp; is valid only for larger&nbsp; $E_{\rm B}/N_0$&nbsp; values &nbsp; &#8658; &nbsp; small bit error probabilities.&nbsp; The described effect also occurs for smaller&nbsp; $E_{\rm B}/N_0$&nbsp; values, but then the effects on the bit error probability are smaller.<br>
 +
#The flatter shape of the block error probability&nbsp; $($green curve$)$&nbsp; holds largely independent of the interleaver size&nbsp; $K$,&nbsp; i.e., for&nbsp; $K = 1000$&nbsp; as well as for&nbsp; $K = 10000$.&nbsp; In the range&nbsp; $10 \cdot {\rm lg} \, E_{\rm B}/N_0 > 2 \ \rm dB$&nbsp; namely single errors dominate,&nbsp; so that here the approximation&nbsp; ${\rm Pr(block\: error)} \approx {\rm Pr(bit\:error)} \cdot K$&nbsp; is valid.<br>
  
*However, the approximation&nbsp; $K \cdot {\rm Pr(bit\:error) = const.}$&nbsp; is valid only for larger&nbsp; $E_{\rm B}/N_0$&ndash;values &nbsp; &#8658; &nbsp; small bit error probabilities. The described effect also occurs for smaller&nbsp; $E_{\rm B}/N_0$&nbsp; values, but then the effects on the bit error probability are smaller.<br><br>
 
 
In contrast, the flatter shape of the block error probability (green curve) holds largely independent of the interleaver size&nbsp; $K$, i.e., for&nbsp; $K = 1000$&nbsp; as well as for&nbsp; $K = 10000$. In the range from&nbsp; $10 \cdot {\rm lg} \, E_{\rm B}/N_0 > 2 \ \rm dB$&nbsp; namely single errors dominate, so that here the approximation&nbsp; ${\rm Pr(block error)} \approx {\rm Pr(bit\:error)} \cdot K$&nbsp; is valid.<br>
 
  
 
{{BlaueBox|TEXT=   
 
{{BlaueBox|TEXT=   
$\text{Conclusion:}$&nbsp; The bit error probability and block error probability curves shown as examples also apply qualitatively for&nbsp; $m > 2$, for example, for the turbo code of UMTS and LTE&nbsp; $($each with&nbsp; $m = 3)$, which is analyzed in the&nbsp; [[Aufgaben:Exercise_4.10:_Turbo_Encoder_for_UMTS_and_LTE|"Exercise 4.10"]]&nbsp;. However, some quantitative differences emerge:
+
$\text{Conclusions:}$&nbsp; The exemplary shown bit error probability and block error probability curves also apply qualitatively for&nbsp; $m > 2$,&nbsp; e.g.&nbsp; for the UMTS and LTE turbo codes&nbsp; $($each with&nbsp; $m = 3)$,&nbsp; which is analyzed in&nbsp; [[Aufgaben:Exercise_4.10:_Turbo_Encoder_for_UMTS_and_LTE|"Exercise 4.10"]].&nbsp; However,&nbsp; some quantitative differences emerge:
*The curve is steeper for small&nbsp; $E_{\rm B}/N_0$&nbsp; and the distance from the Shannon boundary is slightly less than in the example shown here for&nbsp; $m = 2$.<br>
+
*The curve is steeper for small&nbsp; $E_{\rm B}/N_0$&nbsp; and the distance from the Shannon bound is slightly less than in the example shown here for&nbsp; $m = 2$.<br>
  
*Also for larger&nbsp; $m$&nbsp; there is an <i>error floor</i>. However, the kink in the displayed curves then occurs later, i.e. at smaller error probabilities.}}<br>
+
*Also for larger&nbsp; $m$&nbsp; there is an&nbsp; "error floor".&nbsp; However,&nbsp; the kink in the displayed curves then occurs later,&nbsp; i.e. at smaller error probabilities.}}<br>
  
 
== Serial concatenated turbo codes – SCCC ==
 
== Serial concatenated turbo codes – SCCC ==
 
<br>
 
<br>
The turbo codes considered so far are sometimes referred to as&nbsp; <i>Parallel Concatenated Convolutional Codes</i>&nbsp; (PCCC).  
+
The turbo codes considered so far are sometimes referred to as&nbsp; "parallel concatenated convolutional codes"&nbsp; $\rm (PCCC)$.  
  
Some years after Berrou's invention, <i>Serial Concatenated Convolutional Codes</i>&nbsp; (SCCC) were also proposed by other authors according to the following diagram.
+
Some years after Berrou's invention,&nbsp; "serial concatenated convolutional codes"&nbsp; $\rm (SCCC)$&nbsp; were also proposed by other authors according to the following diagram.
*The information sequence&nbsp; $\underline{u}$&nbsp; is located at the outer convolutional encoder&nbsp; $\mathcal{C}_1$&nbsp;. Let its output sequence be&nbsp; $\underline{c}$. <br>
+
[[File:EN_KC_T_4_3_S7a_v2.png|right|frame|Serial concatenated convolutional codes:&nbsp; Encoder and decoder<br><br><br><br><br> |class=fit]]
  
*After the interleaver&nbsp; $(\Pi)$&nbsp; follows the inner convolutional encoder&nbsp; $\mathcal{C}_2$. The code sequence is called here&nbsp; $\underline{x}$&nbsp;.<br>
+
*The information sequence&nbsp; $\underline{u}$&nbsp; is located at the outer convolutional encoder&nbsp; $\mathcal{C}_1$.&nbsp; Let its output sequence be&nbsp; $\underline{c}$. <br>
  
*The resulting code rate is&nbsp; $R = R_1 \cdot R_2$. For rate $1/2$ component codes is&nbsp; $R = 1/4$.<br><br>
+
*After the interleaver&nbsp; $(\Pi)$&nbsp; follows the inner convolutional encoder&nbsp; $\mathcal{C}_2$.&nbsp; The encoded sequence is called&nbsp; $\underline{x}$&nbsp;.<br>
  
[[File:EN_KC_T_4_3_S7a_v2.png|center|frame|<i>Serial Concatenated Convolutional Codes</i> (SCCC): Encoder and decoder |class=fit]]
+
*The resulting code rate is&nbsp; $R = R_1 \cdot R_2$.&nbsp; For rate&nbsp; $1/2$&nbsp; component codes: &nbsp; $R = 1/4$.<br><br>
  
The bottom diagram shows the SCCC&ndash;decoder and illustrates the processing of&nbsp; $L$ values and the exchange of extrinsic information between the two component decoders:
+
The bottom diagram shows the SCCC decoder and illustrates the processing of&nbsp; $L$&ndash;values and the exchange of extrinsic information between the two component decoders:
*The inner decoder&nbsp; (for the code&nbsp; $\mathcal{C}_2)$&nbsp; receives from the channel the intrinsic information&nbsp; $\underline{L}_{\rm K}(\underline{x})$&nbsp; and from the outer decoder (after interleaving) the apriori information&nbsp; $\underline{L}_{\rm A}(\underline{w})$&nbsp; with&nbsp; $\underline{w} = \pi(\underline{c})$. To the outer decoder the extrinsic information&nbsp; $\underline{L}_{\rm E}(\underline{w})$&nbsp; is given.<br>
+
*The inner decoder&nbsp; $($code&nbsp; $\mathcal{C}_2)$&nbsp; receives the intrinsic information&nbsp; $\underline{L}_{\rm K}(\underline{x})$&nbsp; from the channel and  a-priori information&nbsp; $\underline{L}_{\rm A}(\underline{w})$&nbsp; with&nbsp; $\underline{w} = \pi(\underline{c})$&nbsp; from the outer decoder&nbsp; $($after interleaving$)$&nbsp; and delivers the extrinsic information&nbsp; $\underline{L}_{\rm E}(\underline{w})$&nbsp; to the outer decoder.<br>
  
*The outer decoder $($for&nbsp; $\mathcal{C}_1)$&nbsp; processes the apriori information&nbsp; $\underline{L}_{\rm A}(\underline{c})$, i.e. the extrinsic information&nbsp; $\underline{L}_{\rm E}(\underline{w})$&nbsp; after de&ndash;interleaving. It provides the extrinsic information&nbsp; $\underline{L}_{\rm E}(\underline{c})$.<br>
+
*The outer decoder&nbsp; $(\mathcal{C}_1)$&nbsp; processes the a-priori information&nbsp; $\underline{L}_{\rm A}(\underline{c})$, i.e. the extrinsic information&nbsp; $\underline{L}_{\rm E}(\underline{w})$&nbsp; after de&ndash;interleaving.&nbsp; It provides the extrinsic information&nbsp; $\underline{L}_{\rm E}(\underline{c})$.<br>
  
*After a sufficient number of iterations, the desired decoding result is obtained in the form of the a posteriori&ndash;$L$&ndash;values&nbsp; $\underline{L}_{\rm APP}(\underline{u})$&nbsp; of the information sequence&nbsp; $\underline{u}$.<br><br>
+
*After a sufficient number of iterations,&nbsp;  the desired decoding result is obtained in the form of the a-posteriori&nbsp; $L$&ndash;values&nbsp; $\underline{L}_{\rm APP}(\underline{u})$&nbsp; of the information sequence&nbsp; $\underline{u}$.<br><br>
  
 
{{BlaueBox|TEXT=   
 
{{BlaueBox|TEXT=   
$\text{Conclusion:}$&nbsp; Important for <i>Serial Concatenated Convolutional Codes</i> (SCCC) is that the inner code&nbsp; $\mathcal{C}_2$&nbsp; is recursive (i.e. a RSC&ndash;code). The outer code&nbsp; $\mathcal{C}_1$&nbsp; may also be non-recursive.  
+
$\text{Conclusions:}$&nbsp; Important for serial concatenated convolutional codes&nbsp;  $\rm (SCCC)$&nbsp;  is that the inner code&nbsp; $\mathcal{C}_2$&nbsp; is recursive&nbsp;  $($i.e. a RSC code$)$.&nbsp;  The outer code&nbsp; $\mathcal{C}_1$&nbsp; may also be non-recursive.  
  
Regarding the performance of such codes, it should be noted:
+
Regarding the performance of such codes,&nbsp;  it should be noted:
*An SCCC is often better than a PCCC &nbsp;&#8658;&nbsp; lower <i>error floor</i> for large&nbsp; $E_{\rm B}/N_0$&nbsp;. The statement is already true for SCCC component codes with memory&nbsp; $m = 2$&nbsp; (only four trellis states), while for PCCC the memory&nbsp; $m = 3$&nbsp; and&nbsp; $m = 4$&nbsp; (eight and sixteen trellis states, respectively) should be.<br>
+
*An SCCC is often better than a PCCC &nbsp; &#8658; &nbsp; lower error floor for large&nbsp; $E_{\rm B}/N_0$.&nbsp; The statement is already true for SCCC component codes with memory&nbsp; $m = 2$&nbsp; $($only four trellis states$)$,&nbsp;  while for PCCC the memory&nbsp; $m = 3$&nbsp; and&nbsp; $m = 4$&nbsp; $($eight and sixteen trellis states,&nbsp;  respectively$)$&nbsp;  should be.<br>
  
*In the lower range $($small &nbsp;$E_{\rm B}/N_0)$&nbsp; on the other hand, the best serial concatenated convolutional code (SCCC) is several tenths of a decibel worse than the comparable turbo code according to Berrou (PCCC). The distance from the Shannon boundary is correspondingly larger.}}<br><br>
+
*In the lower range&nbsp;  $($small &nbsp;$E_{\rm B}/N_0)$&nbsp; on the other hand,&nbsp;  the best serial concatenated convolutional code is several tenths of a decibel worse than the comparable turbo code according to Berrou&nbsp;  $\rm (PCCC)$.&nbsp;  The distance from the Shannon bound is correspondingly larger.}}<br><br>
  
 
== Some application areas for turbo codes ==
 
== Some application areas for turbo codes ==
 
<br>
 
<br>
 
[[File:EN_KC_T_4_3_S7b_v2.png|right|frame|Some standardized turbo codes compared to the Shannon bound]]
 
[[File:EN_KC_T_4_3_S7b_v2.png|right|frame|Some standardized turbo codes compared to the Shannon bound]]
Turbo codes are used in almost all newer communication systems. The graph shows their performance with the AWGN channel compared to&nbsp; [[Channel_Coding/Information_Theoretical_Limits_of_Channel_Coding#Channel_capacity_of_the_AWGN_model| "Shannon's channel capacity"]]&nbsp; (blue curve).<br>
+
Turbo codes are used in almost all newer communication systems.&nbsp;  The graph shows their performance with the AWGN channel compared to&nbsp; [[Channel_Coding/Information_Theoretical_Limits_of_Channel_Coding#Channel_capacity_of_the_AWGN_model|$\text{Shannon's channel capacity}$]]&nbsp; $($blue curve$)$.<br>
  
The green highlighted area "BPSK" indicates the Shannon limit for message systems with binary input, with which according to the&nbsp; [[Channel_Coding/Information_Theoretical_Limits_of_Channel_Coding#Channel_coding_theorem_and_channel_capacity| "channel coding theorem"]]&nbsp; an error-free transmission is just possible.<br>
+
The green highlighted area&nbsp;  "BPSK"&nbsp;  indicates the Shannon bound for digital systems with binary input,&nbsp;  with which according to the&nbsp; [[Channel_Coding/Information_Theoretical_Limits_of_Channel_Coding#Channel_coding_theorem_and_channel_capacity|$\text{channel coding theorem}$]]&nbsp; an error-free transmission is just possible.<br>
  
It should be noted that the error rate&nbsp; $10^{-5}$&nbsp; is the basis here for the channel codes of standardized systems which are drawn in, while the information-theoretical capacity curves (Shannon, BPSK) apply to the error probability&nbsp; $0$&nbsp;.
+
It should be noted that the bit error rate&nbsp; $\rm BER= 10^{-5}$&nbsp; is the basis here for the channel codes of standardized systems which are drawn in,&nbsp;  while the information-theoretical capacity curves&nbsp;  $($Shannon,&nbsp;  BPSK$)$&nbsp;  apply to the error probability&nbsp; $0$.
*The blue rectangles mark the turbo codes for UMTS. These are rate&ndash;$1/3$&ndash;codes with memory&nbsp; $m = 3$. The performance depends strongly on the interleaver size. With&nbsp; $K = 6144$&nbsp; this code is only about&nbsp; $1 \rm dB$&nbsp; to the right of the Shannon bound. LTE uses the same turbo codes. Minor differences occur due to the different interleaver.<br>
+
*The blue rectangles mark the turbo codes for UMTS.&nbsp;  These are rate&nbsp; $1/3$&nbsp; codes with memory&nbsp; $m = 3$.&nbsp;  The performance depends strongly on the interleaver size.&nbsp;  With&nbsp; $K = 6144$&nbsp; this code is only about&nbsp; $1 \rm dB$&nbsp; to the right of the Shannon bound.&nbsp;  LTE uses the same turbo codes.&nbsp;  Minor differences occur due to the different interleaver.<br>
  
*The red crosses mark the turbo codes according to CCSDS (<i>Consultative Committee for Space Data Systems</i>), developed for use in space missions. This class assumes the fixed interleaver size&nbsp; $K = 6920$&nbsp; and provides codes of rate&nbsp; $1/6$,&nbsp; $1/4$,&nbsp; $1/3$&nbsp; and&nbsp; $1/2$&nbsp;. The lowest code rates allow operation at&nbsp; $10 \cdot {\rm lg} \, (E_{\rm B}/N_0) \approx 0 \ \rm dB$.<br>
+
*The red crosses mark the turbo codes according to&nbsp;  $\rm CCSDS$&nbsp;  $($"Consultative Committee for Space Data Systems"$)$,&nbsp;  developed for use in space missions.&nbsp;  This class assumes the fixed interleaver size&nbsp; $K = 6920$&nbsp; and provides codes of rate&nbsp; $1/6$,&nbsp; $1/4$,&nbsp; $1/3$&nbsp; and&nbsp; $1/2$.&nbsp; The lowest code rates allow operation at&nbsp; $10 \cdot {\rm lg} \, (E_{\rm B}/N_0) \approx 0 \ \rm dB$.<br>
  
*The green circle represents a very simple&nbsp; <i>Repeat&ndash;Accumulate</i>&nbsp; (RA) code, a serial&ndash;concatenated turbo code. The following is an outline of its structure: &nbsp; The outer decoder uses a&nbsp; [[Channel_Coding/Examples_of_Binary_Block_Codes#Repetition_Codes| "repetition code"]]&nbsp;, in the drawn example with rate&nbsp; $R = 1/3$. The interleaver is followed by an RSC&ndash;code with&nbsp; $G(D) = 1/(1 + D)$ &nbsp; &#8658; &nbsp; memory&nbsp; $m = 1$. When executed systematically, the total code rate&nbsp; $R = 1/4$&nbsp; (three parity bits are added to each bit of information).  
+
*The green circle represents a very simple&nbsp; "Repeat Accumulate"&nbsp; $\rm (RA)$&nbsp;  code,&nbsp;  a serial concatenated turbo code.&nbsp;  The following is an outline of its structure: &nbsp; The outer decoder uses a&nbsp; [[Channel_Coding/Examples_of_Binary_Block_Codes#Repetition_Codes|$\text{repetition code}$]],&nbsp; in the drawn example with rate&nbsp; $R = 1/3$.&nbsp;  The interleaver is followed by an RSC code with&nbsp; $G(D) = 1/(1 + D)$ &nbsp; &#8658; &nbsp; memory&nbsp; $m = 1$.&nbsp;  When executed systematically,&nbsp;  the total code rate is&nbsp; $R = 1/4$&nbsp; $($three parity bits are added to each bit of information$)$.  
  
[[File:EN_KC_T_4_3_S7c_v2.png|center|frame|<i>Repeat Accumulate</i> (RA) code with rate $1/4$|class=fit]]
 
  
From the graph on the top right, one can see that this simple RA&ndash;code is surprisingly good. With the interleaver size&nbsp; $K = 300000$&nbsp; the distance from the Shannon&ndash;limit is only about &nbsp;$1.5 \ \rm dB$&nbsp; (green dot).
+
[[File:EN_KC_T_4_3_S7c_v2.png|left|frame|Repeat Accumulate&nbsp; $\rm (RA)$&nbsp; code with rate&nbsp; $1/4$|class=fit]]
 
 
Similar <i>Repeat Accumulate Codes</i> are provided for the <i>DVB Return Channel Terrestrial</i> (RCS) standard and for the WiMax standard (IEEE 802.16).
 
  
  
 +
*From the graph on the top right,&nbsp; one can see that this simple RA code is surprisingly good.
  
 +
*With the interleaver size&nbsp; $K = 300000$&nbsp; the distance from the Shannon bound is only about &nbsp;$1.5 \ \rm dB$&nbsp; $($green dot$)$.
  
 +
*Similar repeat accumulate codes are provided for the&nbsp; "DVB Return Channel Terrestrial"&nbsp; $\rm (RCS)$&nbsp; standard and for the WiMax standard&nbsp; $\rm (IEEE 802.16)$.
 +
<br clear=all>
 
== Exercises for the chapter ==
 
== Exercises for the chapter ==
 
<br>
 
<br>

Latest revision as of 15:58, 23 January 2023

Basic structure of a turbo code


All communications systems current today  $($2017$)$,  such as 

  • $\rm UMTS$  $($"Universal Mobile Telecommunications System"   ⇒   3rd generation mobile communications$)$ and 
  • $\rm LTE$  $($"Long Term Evolution"  ⇒   4th generation mobile communications$)$


use the concept of  $\text{symbol-wise iterative decoding}$.  This is directly related to the invention of  »turbo codes«  in 1993 by  $\text{Claude Berrou}$$\text{Alain Glavieux}$  and  $\text{Punya Thitimajshima}$  because it was only with these codes that the Shannon bound could be approached with reasonable decoding effort.

Turbo codes result from the parallel or serial concatenation of convolutional codes. 

Parallel concatenation of two rate  $1/2$  codes
Rate  $1/3$  turbo encoder  $($parallel concatenation of two rate  $1/2$  convolutional codes$)$

The graphic shows the parallel concatenation of two codes,  each with the parameters  $k = 1, \ n = 2$   ⇒   code rate $R = 1/2$.

In this representation is:

  1. $u$  the currently considered bit of the information sequence  $\underline{u}$,
  2. $x_{i,\hspace{0.03cm}j}$  the currently considered bit at the output  $j$  of encoder  $i$ 
    $($with  $1 ≤ i ≤ 2, \hspace{0.2cm} 1 ≤ j ≤ 2)$,
  3. $\underline{X} = (x_{1,\hspace{0.03cm}1}, \ x_{1,\hspace{0.03cm}2}, \ x_{2,\hspace{0.03cm}1}, \ x_{2,\hspace{0.03cm}2})$  the code word for the current information bit  $u$.

The resulting rate of the concatenated coding system is thus  $R = 1/4$. 

If systematic component codes are used,  the second shown model results.  The modifications from the top graph to the graph below can be justified as follows:

  • For systematic codes  $C_1$  and  $C_2$,  both  $x_{1,\hspace{0.03cm}1} = u$  and  $x_{2,\hspace{0.03cm}1} = u$.  Therefore,  one can dispense with the transmission of a redundant bit  $($e.g.  $x_{2,\hspace{0.03cm}2})$.
  • With this reduction,  the result is a rate  $1/3$  turbo code with  $k = 1$  and  $n = 3$.  The code word with the parity bits is  $p_1$  $($encoder 1$)$  and  $p_2$  $($encoder 2$)$:
$$\underline{X} = \left (u, \ p_1, \ p_2 \right )\hspace{0.05cm}.$$


Further modification of the basic structure of the turbo code


In the following we always assume a still somewhat further modified turbo encoder model:

Rate  $1/3$  turbo encoder with interleaver
  1. As required for the description of convolutional codes,  at the input is the information sequence  $\underline{u} = (u_1, \ u_2, \ \text{...}\hspace{0.05cm} , \ u_i , \ \text{...}\hspace{0.05cm} )$  instead of the isolated information bit  $u$ .
  2. The code word sequence  $\underline{x} = (\underline{X}_1, \underline{X}_2, \ \text{...}\hspace{0.05cm} , \ \underline{X}_i, \ \text{...}\hspace{0.05cm} )$  is generated.  To avoid confusion,  the code words  $\underline{X}_i = (u, \ p_1, \ p_2)$  with capital letters were introduced in the last section.
  3. The encoders  $\mathcal{C}_1$  and  $\mathcal{C}_2$  are conceived  $($at least in thought$)$  as  $\text{digital filters}$  and are thus characterized by the  $\text{transfer functions}$  $G_1(D)$  and  $G_2(D)$.
  4. For various reasons   ⇒   see  "two sections ahead"  the input sequence of the second encoder   ⇒   $\underline{u}_{\pi}$  should be scrambled with respect to the sequence  $\underline{u}$  by an interleaver  $(\Pi)$.
  5. Thereby there is nothing against choosing both encoders the same:  $G_1(D) = G_2(D) = G(D)$.  Without interleaver the correction capability would be extremely limited.

Example sequences at the rate  $1/3$  turbo encoder

$\text{Example 1:}$  The graph shows the different sequences in matched colors. To note:

  1. For  $\underline{u}_{\Pi}$  a  $3×4$  interleaver matrix is considered according to  "Exercise 4.8Z".

  2. The parity sequences are obtained according to  $G_1(D) = G_2(D) = 1 + D^2$   ⇒   see  "Exercise 4.8".


First requirement for turbo codes: Recursive component codes


Non-recursive transfer functions for generating the parity sequences cause a turbo code with insufficiently small minimum distance.  The reason for this inadequacy is the finite impulse response  $\underline{g} = (1, \ g_2, \ \text{...}\hspace{0.05cm} , \ g_m, \ 0, \ 0, \ \text{...}\hspace{0.05cm} )$  with  $g_2, \ \text{...}\hspace{0.05cm} , \ g_m ∈ \{0, 1\}$.  Here  $m$  denotes the  "memory".

Non-recursive systematic turbo code and state transition diagram



The graph shows the state transition diagram for the example  $\mathbf{G}(D) = \big [1, \ 1 + D^2 \big ]$. The transitions are labeled "$u_i\hspace{0.05cm}|\hspace{0.05cm}u_i p_i$".

  • The sequence  $S_0 → S_1 → S_2 → S_0 → S_0 → \ \text{...}\hspace{0.05cm} \ $  leads with respect to the input to the information sequence  $\underline{u} = (1, 0, 0, 0, 0, \ \text{...}\hspace{0.05cm})$,  and
  • with respect to the second encoded symbol to the sequence   $\underline{p} = (1, 0, 1, 0, 0, \ \text{...}\hspace{0.05cm})$    ⇒   because of  $\underline{u} = (1, 0, 0, 0, 0, \ \text{...}\hspace{0.05cm})$  identical to the  "impulse response"  $\underline{g}$   ⇒   memory  $m = 2$.


The lower graph applies to a so-called  »RSC code«  $($"Recursive Systematic Convolutional"$)$  correspondingly 

Non-recursive systematic turbo code and state transition diagram
$$\mathbf{G}(D) = \big [1, \ (1+ D^2)/(1 + D + D^2)\big ].$$
  • Here the sequence 
$$S_0 → S_1 → S_3 → S_2 → S_1 → S_3 → S_2 → \text{...}$$
leads to the impulse response 
$$\underline{g} = (1, 1, 1, 0, 1, 1, 0, 1, 1, \ \text{...}\hspace{0.05cm}).$$
  • This impulse response continues to infinity due to the loop  $S_1 → S_3 → S_2 → S_1$.  This enables or facilitates the iterative decoding.


More details on the examples in this section can be found in the  "Exercise 4.8"  and the  "Exercise 4.9".

Second requirement for turbo codes: Interleaving


It is obvious that for  $G_1(D) = G_2(D)$  an interleaver  $(\Pi)$  is essential.

  • Another reason is that the a-priori information is assumed to be independent.
  • Thus,  adjacent  $($and thus possibly strongly dependent$)$  bits for the other sub–code should be far apart.


Indeed,  for any RSC code   ⇒   infinite impulse response  $\underline{g}$   ⇒   fractional–rational transfer function  $G(D)$:  There are certain input sequences  $\underline{u}$,  which lead to very short parity sequences   $\underline{p} = \underline{u} ∗ \underline{g}$   with low Hamming weight  $w_{\rm H}(\underline{p})$.

For example,  such a sequence is given in the second graphic of the  "last section" :  

$$\underline{u} = (1, 1, 1, 0, 0, \ \text{...}\hspace{0.05cm}).$$

Then for the output sequence holds:

\[P(D) = U(D) \cdot G(D) = (1+D+D^2) \cdot \frac{1+D^2}{1+D+D^2}= 1+D^2\hspace{0.3cm}\Rightarrow\hspace{0.3cm} \underline{p}= (\hspace{0.05cm}1\hspace{0.05cm},\hspace{0.05cm} 0\hspace{0.05cm},\hspace{0.05cm} 1\hspace{0.05cm},\hspace{0.05cm} 0\hspace{0.05cm},\hspace{0.05cm} 0\hspace{0.05cm},\hspace{0.05cm} \text{...}\hspace{0.05cm}\hspace{0.05cm})\hspace{0.05cm}. \]

$\text{Meaning and purpose:}$  By  $\rm interleaving$,  it is now ensured with high probability that this sequence  $\underline{u} = (1, 1, 1, 0, 0, \ \text{...}\hspace{0.05cm})$  is converted into a sequence  $\underline{u}_{\pi}$ 

  • which also contains only three  "ones",
  • but whose output sequence is characterized by a large Hamming weight  $w_{\rm H}(\underline{p})$.


Thus,  the decoder succeeds in resolving such  "problem sequences"  iteratively.


For the following description of the interleavers we use the assignment  $I_{\rm In} → I_{\rm Out}$.  These labels stand for the indices of output and input sequence,  respectively. The interleaver variable is named  $I_{\rm max}$ .

Clarification of block interleaving

There are several,  fundamentally different interleaver concepts:

⇒   In a  »block interleaver«  one fills a matrix with  $N_{\rm C}$  columns and  $N_{\rm R}$  rows column-by-column and reads the matrix row-by-row.  Thus an information block with  $I_{\rm max} = N_{\rm C} \cdot N_{\rm R}$  bit is deterministically scrambled.

The right graph illustrates the principle for  $I_{\rm max} = 64$   ⇒   $1 ≤ I_{\rm In} \le 64$  and  $1 ≤ I_{\rm Out} \le 64$.  The order of the output bits is then:  

$$1, 9, 17, 25, 33, 41, 49, 57, 2, 10, 18, \ \text{...}\hspace{0.05cm} , 48, 56, 64.$$

More information on block interleaving is available in the  "Exercise 4.8Z".

Clarification of $S$–random interleaving





⇒   Turbo codes often use the  »$S$–random interleaver«. This pseudo random algorithm with the parameter  "$S$"  guarantees

  • that two indices less than  $S$  apart at the input
  • occur at least at the distance  $S + 1$  at the output.


The left graph shows the  $S$–random characteristic  $I_{\rm Out}(I_{\rm In})$  for  $I_{\rm max} = 640$.

  1. This algorithm is also deterministic,  and one can undo the scrambling in the decoder   ⇒   "De–interleaving".
  2. The distribution still seems  "more random"  than with block interleaving.


Bit-wise iterative decoding of a turbo code


The decoding of a turbo code is basically done as described in section  "Bit-wise Soft–in Soft–out Decoding".  From the following graphic,  however,  you can also see some special features that apply only to the turbo decoder.

Assumed is a rate  $1/3$  turbo code according to the description in the  "first section of this page".  Also,  the color scheme for the information sequence  $\underline{u}$  and the two parity sequences  $\underline{p}_1$  and  $\underline{p}_2$  are adapted from the earlier graphics.  Further,  it should be noted:

Iterative turbo decoder for rate  $R = 1/3$
  • The received vectors  $\underline{y}_0,\hspace{0.15cm} \underline{y}_1,\hspace{0.15cm} \underline{y}_2$  are real-valued and provide the respective soft information with respect to the information sequence  $\underline{u}$  and the sequences  $\underline{p}_1$  $($parity for encoder 1$)$  and  $\underline{p}_2$  $($parity for encoder 2$)$.
  • The decoder 1 receives the required intrinsic information in the form of the  $L$ values $L_{\rm K,\hspace{0.03cm} 0}$  $($out  $\underline{y}_0)$  and  $L_{\rm K,\hspace{0.03cm}1}$ $($out  $\underline{y}_1)$  over each bit of the sequences  $\underline{u}$  and  $\underline{p}_1$.
  • In the second decoder,  the scrambling of the information sequence  $\underline{u}$  must be taken into account.  Thus,  the  $L$ values to be processed are  $\pi(L_{\rm K, \hspace{0.03cm}0})$  and  $L_{\rm K, \hspace{0.03cm}2}$.
  • In the general  $\text{SISO decoder}$  the information exchange between the two component decoders was controlled with  $\underline{L}_{\rm A, \hspace{0.03cm}2} = \underline{L}_{\rm E, \hspace{0.03cm}1}$  and  $\underline{L}_{\rm A, \hspace{0.03cm}1} = \underline{L}_{\rm E, \hspace{0.03cm}2}$.
  • Written out at the bit level,  these equations are denoted by  $(1 ≤ i ≤ n)$:
\[L_{\rm A, \hspace{0.03cm}2}(i) = L_{\rm E, \hspace{0.03cm}1}(i) \hspace{0.5cm}{\rm resp.}\hspace{0.5cm} L_{\rm A, \hspace{0.03cm}1}(i) = L_{\rm E, \hspace{0.03cm}2}(i) \hspace{0.03cm}.\]
  • In the case of the turbo decoder,  the interleaver must also be taken into account in this information exchange.  Then for  $i = 1, \ \text{...}\hspace{0.05cm} , \ n$:
\[L_{\rm A, \hspace{0.03cm}2}\left ({\rm \pi}(i) \right ) = L_{\rm E, \hspace{0.03cm}1}(i) \hspace{0.5cm}{\rm bzw.}\hspace{0.5cm} L_{\rm A, \hspace{0.03cm}1}(i) = L_{\rm E, \hspace{0.03cm}2}\left ({\rm \pi}(i) \right ) \hspace{0.05cm}.\]
  • The a-posteriori  $L$ value is  $($arbitrarily$)$  given by decoder 1 in the above model.  This can be justified by the fact that one iteration stands for a twofold information exchange.

Performance of the turbo codes


Bit and block error probability of turbo codes at AWGN channel

We consider,  as in the last sections,  the rate  $1/3$  turbo code

  • with equal filter functions   $G_1(D) = G_2(D) = (1 + D^2)/(1 + D + D^2)$   ⇒   memory  $m = 2$,
  • with the interleaver size  $K$; first apply  $K = 10000,$  and
  • a sufficient large number of iterations  $(I = 20)$,  almost equivalent in result  to "$I → ∞$".

The two RSC component codes are each terminated on  $K$  bits.  Therefore we group

  • the information sequence  $\underline{u}$  into blocks of  $K$  information bits each,  and
  • the encoded sequence  $\underline{x}$  to blocks with each  $N = 3 \cdot K$  encoded bits.

All results apply to the  $\text{AWGN channel}$. Data are taken from the lecture notes  [Liv15][1].

The graph shows as a green curve the  »block error probability«   ⇒   ${\rm Pr(block\:error)}$  in double logarithmic representation depending on the AWGN characteristic  $10 \cdot {\rm lg} \, (E_{\rm B}/N_0)$.  It can be seen:

  1. The points marked with crosses resulted from the weight functions of the turbo code using the  $\text{Union Bound}$.  The simulation results   – in the graph marked by circles –   are almost congruent with the analytically calculated values.
  2. The  "Union Bound"  is only an upper bound based on maximum likelihood decoding  $\rm (ML)$.  The iterative decoder is suboptimal  (i.e.,  worse than "maximum likelihood").  These two effects seem to almost cancel each other out.
  3. At  $10 \cdot {\rm lg} \, (E_{\rm B}/N_0) = 1 \ \rm dB$  there is a kink in the  (green)  curve,  corresponding to the slope change of  ${\rm Pr(bit\:error)}$   ⇒   blue curve.

The blue crosses  $($"calculation"$)$  and the blue circles  $($"simulation"$)$  denote the  »bit error probability«  for the interleaver size  $K = 10000$.  The  (dash-dotted)  curve for uncoded transmission is drawn as a comparison curve. 

⇒   To these blue curves is to be noted:

  • For small abscissa values,  the curve slope in the selected plot is nearly linear and sufficiently steep.  For example,  for   ${\rm Pr(bit\, error)} = 10^{-5}$   one needs at least   $10 \cdot {\rm lg} \, (E_{\rm B}/N_0) \approx \, 0.8 \ \rm dB$.
  • Compared to the  $\text{Shannon bound}$,  which results for code rate  $R = 1/3$  to  $10 \cdot {\rm lg} \, (E_{\rm B}/N_0) \approx \, –0.55 \ \rm dB$,  our standard turbo code   $($with memory  $m = 2)$   is only about  $1.35 \ \rm dB$  away.
  • From  $10 \cdot {\rm lg} \, (E_{\rm B}/N_0) \approx 0.5 \ \rm dB$  the curve runs flatter.  From  $\approx 1.5 \ \rm dB$  the curve is again  (nearly)  linear with lower slope.  For  ${\rm Pr(bit\:error)} = 10^{-7}$  one needs about  $10 \cdot {\rm lg} \, (E_{\rm B}/N_0) = 3 \ \rm dB$.

⇒   We now try to explain the flatter drop in bit error probability with larger  $E_{\rm B}/N_0$.  This is called an  »$\text{error floor}$«:

  1. The reason for this asymptotically worse behavior with better channel  $($in the example:   from  $10 \cdot {\rm lg} \, E_{\rm B}/N_0 \ge 2 \ \rm dB)$  is the period  $P$  of the encoder impulse response  $\underline{g}$,  as demonstrated in the section  $\rm Interleaving$,  and explained in the  "Exercise 4.10"  with examples.
  2. For  $m = 2$,  the period is  $P = 2^m -1 = 3$.  Thus,  for  $\underline{u} = (1, 1, 1)   ⇒   w_{\rm H}(\underline{u}) = 3$  the parity sequence is bounded:   $\underline{p} = (1, 0, 1)$   ⇒   $w_{\rm H}(\underline{p}) = 2$   despite unbounded impulse response  $\underline{g}$.
  3. The sequence   $\underline{u} = (0, \ \text{...}\hspace{0.05cm} , \ 0, \ 1, \ 0, \ 0, \ 1, \ 0, \ \text{...}\hspace{0.05cm})$   ⇒   $U(D) = D^x \cdot (1 + D^P)$  also leads to a small Hamming weight  $w_{\rm H}(\underline{p})$  at the output,  which complicates the iterative decoding process.
  4. Some workaround is provided by the interleaver,  which ensures that both sequences  $\underline{p}_1$  and  $\underline{p}_2$  are not simultaneously loaded by very small Hamming weights  $w_{\rm H}(\underline{p}_1)$  and  $w_{\rm H}(\underline{p}_2)$.
  5. From the graph you can also see that the bit error probability is inversely proportional to the interleaver size  $K$.  That means:   With large  $K$  the despreading of unfavorable input sequences works better.
  6. However,  the approximation   $K \cdot {\rm Pr(bit\:error) = const.}$   is valid only for larger  $E_{\rm B}/N_0$  values   ⇒   small bit error probabilities.  The described effect also occurs for smaller  $E_{\rm B}/N_0$  values, but then the effects on the bit error probability are smaller.
  7. The flatter shape of the block error probability  $($green curve$)$  holds largely independent of the interleaver size  $K$,  i.e., for  $K = 1000$  as well as for  $K = 10000$.  In the range  $10 \cdot {\rm lg} \, E_{\rm B}/N_0 > 2 \ \rm dB$  namely single errors dominate,  so that here the approximation  ${\rm Pr(block\: error)} \approx {\rm Pr(bit\:error)} \cdot K$  is valid.


$\text{Conclusions:}$  The exemplary shown bit error probability and block error probability curves also apply qualitatively for  $m > 2$,  e.g.  for the UMTS and LTE turbo codes  $($each with  $m = 3)$,  which is analyzed in  "Exercise 4.10".  However,  some quantitative differences emerge:

  • The curve is steeper for small  $E_{\rm B}/N_0$  and the distance from the Shannon bound is slightly less than in the example shown here for  $m = 2$.
  • Also for larger  $m$  there is an  "error floor".  However,  the kink in the displayed curves then occurs later,  i.e. at smaller error probabilities.


Serial concatenated turbo codes – SCCC


The turbo codes considered so far are sometimes referred to as  "parallel concatenated convolutional codes"  $\rm (PCCC)$.

Some years after Berrou's invention,  "serial concatenated convolutional codes"  $\rm (SCCC)$  were also proposed by other authors according to the following diagram.

Serial concatenated convolutional codes:  Encoder and decoder




  • The information sequence  $\underline{u}$  is located at the outer convolutional encoder  $\mathcal{C}_1$.  Let its output sequence be  $\underline{c}$.
  • After the interleaver  $(\Pi)$  follows the inner convolutional encoder  $\mathcal{C}_2$.  The encoded sequence is called  $\underline{x}$ .
  • The resulting code rate is  $R = R_1 \cdot R_2$.  For rate  $1/2$  component codes:   $R = 1/4$.

The bottom diagram shows the SCCC decoder and illustrates the processing of  $L$–values and the exchange of extrinsic information between the two component decoders:

  • The inner decoder  $($code  $\mathcal{C}_2)$  receives the intrinsic information  $\underline{L}_{\rm K}(\underline{x})$  from the channel and a-priori information  $\underline{L}_{\rm A}(\underline{w})$  with  $\underline{w} = \pi(\underline{c})$  from the outer decoder  $($after interleaving$)$  and delivers the extrinsic information  $\underline{L}_{\rm E}(\underline{w})$  to the outer decoder.
  • The outer decoder  $(\mathcal{C}_1)$  processes the a-priori information  $\underline{L}_{\rm A}(\underline{c})$, i.e. the extrinsic information  $\underline{L}_{\rm E}(\underline{w})$  after de–interleaving.  It provides the extrinsic information  $\underline{L}_{\rm E}(\underline{c})$.
  • After a sufficient number of iterations,  the desired decoding result is obtained in the form of the a-posteriori  $L$–values  $\underline{L}_{\rm APP}(\underline{u})$  of the information sequence  $\underline{u}$.

$\text{Conclusions:}$  Important for serial concatenated convolutional codes  $\rm (SCCC)$  is that the inner code  $\mathcal{C}_2$  is recursive  $($i.e. a RSC code$)$.  The outer code  $\mathcal{C}_1$  may also be non-recursive.

Regarding the performance of such codes,  it should be noted:

  • An SCCC is often better than a PCCC   ⇒   lower error floor for large  $E_{\rm B}/N_0$.  The statement is already true for SCCC component codes with memory  $m = 2$  $($only four trellis states$)$,  while for PCCC the memory  $m = 3$  and  $m = 4$  $($eight and sixteen trellis states,  respectively$)$  should be.
  • In the lower range  $($small  $E_{\rm B}/N_0)$  on the other hand,  the best serial concatenated convolutional code is several tenths of a decibel worse than the comparable turbo code according to Berrou  $\rm (PCCC)$.  The distance from the Shannon bound is correspondingly larger.



Some application areas for turbo codes


Some standardized turbo codes compared to the Shannon bound

Turbo codes are used in almost all newer communication systems.  The graph shows their performance with the AWGN channel compared to  $\text{Shannon's channel capacity}$  $($blue curve$)$.

The green highlighted area  "BPSK"  indicates the Shannon bound for digital systems with binary input,  with which according to the  $\text{channel coding theorem}$  an error-free transmission is just possible.

It should be noted that the bit error rate  $\rm BER= 10^{-5}$  is the basis here for the channel codes of standardized systems which are drawn in,  while the information-theoretical capacity curves  $($Shannon,  BPSK$)$  apply to the error probability  $0$.

  • The blue rectangles mark the turbo codes for UMTS.  These are rate  $1/3$  codes with memory  $m = 3$.  The performance depends strongly on the interleaver size.  With  $K = 6144$  this code is only about  $1 \rm dB$  to the right of the Shannon bound.  LTE uses the same turbo codes.  Minor differences occur due to the different interleaver.
  • The red crosses mark the turbo codes according to  $\rm CCSDS$  $($"Consultative Committee for Space Data Systems"$)$,  developed for use in space missions.  This class assumes the fixed interleaver size  $K = 6920$  and provides codes of rate  $1/6$,  $1/4$,  $1/3$  and  $1/2$.  The lowest code rates allow operation at  $10 \cdot {\rm lg} \, (E_{\rm B}/N_0) \approx 0 \ \rm dB$.
  • The green circle represents a very simple  "Repeat Accumulate"  $\rm (RA)$  code,  a serial concatenated turbo code.  The following is an outline of its structure:   The outer decoder uses a  $\text{repetition code}$,  in the drawn example with rate  $R = 1/3$.  The interleaver is followed by an RSC code with  $G(D) = 1/(1 + D)$   ⇒   memory  $m = 1$.  When executed systematically,  the total code rate is  $R = 1/4$  $($three parity bits are added to each bit of information$)$.


Repeat Accumulate  $\rm (RA)$  code with rate  $1/4$


  • From the graph on the top right,  one can see that this simple RA code is surprisingly good.
  • With the interleaver size  $K = 300000$  the distance from the Shannon bound is only about  $1.5 \ \rm dB$  $($green dot$)$.
  • Similar repeat accumulate codes are provided for the  "DVB Return Channel Terrestrial"  $\rm (RCS)$  standard and for the WiMax standard  $\rm (IEEE 802.16)$.


Exercises for the chapter


Exercise 4.08: Repetition to the Convolutional Codes

Exercise 4.08Z: Basics about Interleaving

Exercise 4.09: Recursive Systematic Convolutional Codes

Exercise 4.10: Turbo Enccoder for UMTS and LTE

References

  1. Liva, G.:  Channels Codes for Iterative Decoding.  Lecture notes, Department of Communications Engineering, TU Munich and DLR Oberpfaffenhofen, 2015.