Difference between revisions of "Aufgaben:Exercise 4.3Z: Conversions of L-value and S-value"

From LNTwww
Line 1: Line 1:
{{quiz-Header|Buchseite=Kanalcodierung/Soft–in Soft–out Decoder}}
+
{{quiz-Header|Buchseite=Channel_Coding/Soft-in_Soft-Out_Decoder}}
  
[[File:P_ID3093__KC_Z_4_3neu_v1.png|right|right|frame|Funktion&nbsp; $y = \tanh {(x)}$&nbsp; <br>in Tabellenform]]
+
[[File:P_ID3093__KC_Z_4_3neu_v1.png|right|right|frame|Function&nbsp; $y = \tanh {(x)}$&nbsp; <br>in tabular form.]]
Wir gehen von einer binären Zufallsgröße&nbsp; $x &#8712; \{+1, \, -1\}$&nbsp; mit folgenden Wahrscheinlichkeiten aus:
+
We assume a binary random variable&nbsp; $x &#8712; \{+1, \, -1\}$&nbsp; with the following probabilities:
 
:$${\rm Pr}(x =+1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} p\hspace{0.05cm},$$
 
:$${\rm Pr}(x =+1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} p\hspace{0.05cm},$$
 
:$${\rm Pr}(x =-1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} q = 1-p\hspace{0.05cm}.$$
 
:$${\rm Pr}(x =-1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} q = 1-p\hspace{0.05cm}.$$
  
Die "Zuverlässigkeit" des Symbols&nbsp; $x$&nbsp; kann ausgedrückt werden
+
The "reliability" of the symbol&nbsp; $x$&nbsp; can be expressed
* durch den&nbsp; $L$&ndash;Wert entsprechend der Definition
+
* by the&nbsp; $L$ value (LLR) according to the definition
 
:$$L(x) = {\rm ln} \hspace{0.2cm}  \frac{p}{q} = \frac{p}{1 - p}\hspace{0.05cm}
 
:$$L(x) = {\rm ln} \hspace{0.2cm}  \frac{p}{q} = \frac{p}{1 - p}\hspace{0.05cm}
 
  \hspace{0.05cm},$$
 
  \hspace{0.05cm},$$
* durch den so genannten&nbsp; $S$&ndash;Wert
+
* by the so called&nbsp; $S$ value.
 
:$$S(x) = p- q \hspace{0.05cm}.$$
 
:$$S(x) = p- q \hspace{0.05cm}.$$
  
Den Begriff "$S$&ndash;Wert" haben wir kreiert, um die folgenden Fragen griffiger formulieren zu können. In der Literatur findet man hierfür manchmal die Bezeichung&nbsp; "Soft Bit".
+
We have created the term "$S$ value" in order to be able to formulate the following questions more succinctly. In the literature, one sometimes finds the term "soft bit" for this.
  
Wie in Teilaufgabe '''(1)''' gezeigt werden soll, können&nbsp; $L(x)$&nbsp; und&nbsp; $S(x)$&nbsp; ineinander umgerechnet werden.
+
As will be shown in subtask '''(1)''',&nbsp; $L(x)$&nbsp; and&nbsp; $S(x)$&nbsp; can be converted into each other.
  
Anschließend sollen diese Funktionen zur Berechnung der folgenden Größen herangezogen werden, wobei stets von der Codelänge&nbsp; $n = 3$&nbsp; ausgegangen wird:
+
Subsequently, these functions shall be used to calculate the following quantities, always assuming code length&nbsp; $n = 3$&nbsp; :
* der extrinsische&nbsp; $L$&ndash;Wert für das dritte Symbol &nbsp; &#8658; &nbsp; $L_{\rm E}(x_3)$,
+
* the extrinsic&nbsp; $L$&ndash;value for the third symbol&nbsp; &#8658; &nbsp; $L_{\rm E}(x_3)$,
* der Aposteriori&ndash;$L$&ndash;Wert für das dritte Symbol &nbsp; &#8658; &nbsp; $L_{\rm APP}(x_3)$.
+
* the a posteriori&ndash;$L$&ndash;value for the third symbol &nbsp; &#8658; &nbsp; $L_{\rm APP}(x_3)$.
  
  
Die Berechnung soll für folgende Codes erfolgen:
+
The calculation should be done for the following codes:
* den Wiederholungscode&nbsp; [[Channel_Coding/Beispiele_bin%C3%A4rer_Blockcodes#Wiederholungscodes|$\text{RC (3, 1, 3)}$]]&nbsp; mit der Nebenbedingung&nbsp; $\sign {(x_1)} = \sign {(x_2)} = \sign {(x_3)}$,
+
* the repetition Code&nbsp; [[Channel_Coding/Examples_of_Binary_Block_Codes#Repetition_Codes|$\text{"RC (3, 1, 3)"}$]]&nbsp; with the constraint&nbsp; $\sign {(x_1)} = \sign {(x_2)} = \sign {(x_3)}$,
* den Single Parity&ndash;Code &nbsp; &#8658; &nbsp; [[Channel_Coding/Beispiele_bin%C3%A4rer_Blockcodes#Single_Parity.E2.80.93check_Codes_.281.29|$\text{SPC (3, 2, 2)}$]]&nbsp; mit der Nebenbedingung&nbsp; $x_1 \cdot x_2 \cdot x_3 = +1$.
+
* the single parity&ndash;code &nbsp; &#8658; &nbsp; [[Channel_Coding/Examples_of_Binary_Block_Codes#Single_Parity-check_Codes|$\text{"SPC (3, 2, 2)"}$]]&nbsp; with the constraint&nbsp; $x_1 \cdot x_2 \cdot x_3 = +1$.
  
  
Line 32: Line 32:
  
  
''Hinweise:''
+
Hints:
* Die Aufgabe gehört zum Kapitel&nbsp; [[Channel_Coding/Soft%E2%80%93in_Soft%E2%80%93out_Decoder| Soft&ndash;in Soft&ndash;out Decoder]].
+
* This exercise belongs to the chapter&nbsp; [[Channel_Coding/Soft-in_Soft-Out_Decoder| "Soft&ndash;in Soft&ndash;out Decoder"]].
* Bezug genommen wird insbesondere auf die Seite&nbsp; [[Channel_Coding/Soft–in_Soft–out_Decoder#Zuverl.C3.A4ssigkeitsinformation_.E2.80.93_Log_Likelihood_Ratio| Zuverlässigkeitsinformation &ndash; Log Likelihood Ratio]].
+
* Reference is made in particular to the page&nbsp; [[Channel_Coding/Soft-in_Soft-Out_Decoder#Reliability_information_-_Log_Likelihood_Ratio| "Reliability Information &ndash; Log Likelihood Ratio"]].
* Zur Lösung benötigen Sie den&nbsp; <i>Tangens Hyperbolikus</i>&nbsp; entsprechend folgender Definition (diese Funktion ist oben in Tabellenform angegeben):
+
* To solve, you need the&nbsp; <i>hyperbolic tangent</i>&nbsp; according to the following definition (this function is given above in tabular form):
 
:$$y = {\rm tanh}(x) = \frac{{\rm e}^{+x/2} - {\rm e}^{-x/2}}{{\rm e}^{+x/2} + {\rm e}^{-x/2}}  
 
:$$y = {\rm tanh}(x) = \frac{{\rm e}^{+x/2} - {\rm e}^{-x/2}}{{\rm e}^{+x/2} + {\rm e}^{-x/2}}  
 
= \frac{1 - {\rm e}^{-x}}{1 + {\rm e}^{-x}}  
 
= \frac{1 - {\rm e}^{-x}}{1 + {\rm e}^{-x}}  
Line 42: Line 42:
  
  
===Fragebogen===
+
===Questions===
 
<quiz display=simple>
 
<quiz display=simple>
{Welcher Zusammenhang besteht zwischen&nbsp; $S$&ndash;Wert und&nbsp; $L$&ndash;Wert?
+
{What is the relationship between&nbsp; $S$ value and&nbsp; $L$ value?
 
|type="[]"}
 
|type="[]"}
 
- $S(x) = \tanh {(L(x))}$,
 
- $S(x) = \tanh {(L(x))}$,
Line 50: Line 50:
 
+ $L(x) = 2 \cdot \tanh^{-1}{(S(x))}$.
 
+ $L(x) = 2 \cdot \tanh^{-1}{(S(x))}$.
  
{Betrachtet wird der&nbsp; $\text{RC (3, 1, 3)}$. Für die Apriori&ndash;$L$&ndash;Werte gelte&nbsp; $\underline{L}_{\rm A} = (+2, -1, +3)$. Wie groß ist der extrinsische&nbsp; $L$&ndash;Wert für das Symbol&nbsp; $x_3$?
+
{The $\text{RC (3, 1, 3)}$ is considered. For the apriori $L$ values, let&nbsp; $\underline{L}_{\rm A} = (+2, -1, +3)$. What is the extrinsic&nbsp; $L$ value for the symbol&nbsp; $x_3$?
 
|type="{}"}
 
|type="{}"}
 
$L_{\rm E}(x_3) \ = \ ${ 1 3% }
 
$L_{\rm E}(x_3) \ = \ ${ 1 3% }
  
{Wie groß ist in diesem Fall der Aposteriori&ndash;$L$&ndash;Wert für das Symbol&nbsp; $x_3$?
+
{What is the aposteriori $L$ value for the symbol&nbsp; $x_3$ in this case?
 
|type="{}"}
 
|type="{}"}
 
$L_{\rm APP}(x_3) \ = \ ${ 4 3% }
 
$L_{\rm APP}(x_3) \ = \ ${ 4 3% }
  
{Wie groß ist der extrinsische $L$&ndash;Wert beim&nbsp; $\text{SPC (3, 2, 2)}$? Es gelte weiterhin&nbsp; $\underline{L}_{\rm A} = (+2, -1, +3)$.
+
{What is the extrinsic $L$ value at&nbsp; $\text{SPC (3, 2, 2)}$? It is still valid&nbsp; $\underline{L}_{\rm A} = (+2, -1, +3)$.
 
|type="{}"}
 
|type="{}"}
 
$L_{\rm E}(x_3) \ = \ ${ -0.757256--0.713144 }
 
$L_{\rm E}(x_3) \ = \ ${ -0.757256--0.713144 }
  
{Die Apriori&ndash;Wahrscheinlichkeiten seien nun&nbsp; $0.3, \ 0.8$&nbsp; und&nbsp; $0.9$. Wie groß ist der extrinsische&nbsp; $L$&ndash;Wert für den <i>Repetition Code</i>?
+
{The apriori probabilities are now&nbsp; $0.3, \ 0.8$&nbsp; and&nbsp; $0.9$. What is the extrinsic&nbsp; $L$ value for the <i>repetition code</i>?
 
|type="{}"}
 
|type="{}"}
 
$L_{\rm E}(x_3) \ = \ ${ 0.535 3% }
 
$L_{\rm E}(x_3) \ = \ ${ 0.535 3% }
  
{Welcher extrinsische&nbsp; $L$&ndash;Wert ergibt sich bei gleichen Voraussetzungen wie in &nbsp;'''(5)'''&nbsp; für den <i>Single Parity&ndash;check Code</i>?
+
{What extrinsic&nbsp; $L$ value results for the <i>single parity&ndash;check code</i> given the same conditions as in &nbsp;''(5)''''&nbsp;?
 
|type="{}"}
 
|type="{}"}
 
$L_{\rm E}(x_3) \ = \ ${ 0.49 3% }
 
$L_{\rm E}(x_3) \ = \ ${ 0.49 3% }

Revision as of 19:55, 27 October 2022

Function  $y = \tanh {(x)}$ 
in tabular form.

We assume a binary random variable  $x ∈ \{+1, \, -1\}$  with the following probabilities:

$${\rm Pr}(x =+1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} p\hspace{0.05cm},$$
$${\rm Pr}(x =-1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} q = 1-p\hspace{0.05cm}.$$

The "reliability" of the symbol  $x$  can be expressed

  • by the  $L$ value (LLR) according to the definition
$$L(x) = {\rm ln} \hspace{0.2cm} \frac{p}{q} = \frac{p}{1 - p}\hspace{0.05cm} \hspace{0.05cm},$$
  • by the so called  $S$ value.
$$S(x) = p- q \hspace{0.05cm}.$$

We have created the term "$S$ value" in order to be able to formulate the following questions more succinctly. In the literature, one sometimes finds the term "soft bit" for this.

As will be shown in subtask (1),  $L(x)$  and  $S(x)$  can be converted into each other.

Subsequently, these functions shall be used to calculate the following quantities, always assuming code length  $n = 3$  :

  • the extrinsic  $L$–value for the third symbol  ⇒   $L_{\rm E}(x_3)$,
  • the a posteriori–$L$–value for the third symbol   ⇒   $L_{\rm APP}(x_3)$.


The calculation should be done for the following codes:




Hints:

$$y = {\rm tanh}(x) = \frac{{\rm e}^{+x/2} - {\rm e}^{-x/2}}{{\rm e}^{+x/2} + {\rm e}^{-x/2}} = \frac{1 - {\rm e}^{-x}}{1 + {\rm e}^{-x}} \hspace{0.05cm}.$$


Questions

1

What is the relationship between  $S$ value and  $L$ value?

$S(x) = \tanh {(L(x))}$,
$S(x) = \tanh {(L(x)/2)}$,
$L(x) = 2 \cdot \tanh^{-1}{(S(x))}$.

2

The $\text{RC (3, 1, 3)}$ is considered. For the apriori $L$ values, let  $\underline{L}_{\rm A} = (+2, -1, +3)$. What is the extrinsic  $L$ value for the symbol  $x_3$?

$L_{\rm E}(x_3) \ = \ $

3

What is the aposteriori $L$ value for the symbol  $x_3$ in this case?

$L_{\rm APP}(x_3) \ = \ $

4

What is the extrinsic $L$ value at  $\text{SPC (3, 2, 2)}$? It is still valid  $\underline{L}_{\rm A} = (+2, -1, +3)$.

$L_{\rm E}(x_3) \ = \ $

5

The apriori probabilities are now  $0.3, \ 0.8$  and  $0.9$. What is the extrinsic  $L$ value for the repetition code?

$L_{\rm E}(x_3) \ = \ $

6

What extrinsic  $L$ value results for the single parity–check code given the same conditions as in  (5)'' ?

$L_{\rm E}(x_3) \ = \ $


Musterlösung

(1)  Für die binäre Zufallsgröße $x ∈ \{+1, -1\}$ mit den Wahrscheinlichkeiten

  • $p = {\rm Pr}(x = +1)$, und
  • $p = {\rm Pr}(x=-1) = 1-p$


gelten folgende Definitionen:

$$L(x) = {\rm ln} \hspace{0.2cm} \frac{p}{q} = \frac{p}{1 - p}\hspace{0.05cm} \hspace{0.3cm} \Rightarrow \hspace{0.3cm} -\infty \le L(x) \le +\infty \hspace{0.05cm},$$
$$S(x) = p- q = 2 \cdot p - 1\hspace{0.05cm} \hspace{0.3cm} \Rightarrow \hspace{0.3cm} -1 \le S(x) \le +1 \hspace{0.05cm}.$$
  • Ausgehend vom $S$–Wert erhält man wegen $p + q = 1$:
$$S(x) = p- q = \frac{p- q}{p+ q} = \frac{1- q/p}{1+ q/p} \hspace{0.05cm}.$$
  • Gleichzeitig gilt $q/p = {\rm e}^{-L(x)}$. Daraus folgt:
$$S(x) = \frac{1- {\rm e}^{-L(x)}}{1+ {\rm e}^{-L(x)}} \hspace{0.05cm}.$$
  • Multipliziert man Zähler und Nenner mit ${\rm e}^{-L(x)/2}$, so erhält man schließlich:
Zusammenhang zwischen Wahrscheinlichkeit, $L$–Wert, $S$–Wert
$$S(x) = \frac{{\rm e}^{+L(x)/2}- {\rm e}^{-L(x)/2}}{{\rm e}^{+L(x)/2}+ {\rm e}^{-L(x)/2}} = {\rm tanh}\big [L(x)/2. \big] \hspace{0.05cm}.$$
  • Die Umkehrfunktion ergibt
$$L(x) = 2 \cdot {\rm tanh}^{-1}[S(x)] \hspace{0.05cm}.$$


Richtig sind somit die Lösungsvorschläge 2 und 3. Die Tabelle zeigt den $L$–Wert $S$–Wert für einige Wahrscheinlichkeiten $p = {\rm Pr}(x=+1)$.


(2)  Der extrinsische $L$–Wert für das Symbol $x_3$ berücksichtigt nur die Apriori–$L$–Werte $L_{\rm A}(x_1)$ und $L_{\rm A}(x_2)$, nicht jedoch $L_{\rm A}(x_3)$.

  • Beim (3, 1) Repetition Code ergibt sich hierfür:
$$L_{\rm E}(x_3) = L_{\rm A}(x_1) + L_{\rm A}(x_2) = 2 + (-1) \hspace{0.15cm} \underline{= +1}\hspace{0.05cm}.$$


(3)  Für den Aposteriori–$L$–Wert erhält man somit:

$$L_{\rm APP}(x_3) = L_{\rm A}(x_3) + L_{\rm E}(x_3) = 3 + 1 \hspace{0.15cm} \underline{= +4}\hspace{0.05cm}.$$


(4)  Beim Single Parity–check Code lautet die entsprechende Berechnungsvorschrift:

$$L_{\rm E}(x_3) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} 2 \cdot {\rm tanh}^{-1} \hspace{0.05cm} \left [ {\rm tanh}(x_1/2) \cdot {\rm tanh}(x_2/2) \right ] = 2 \cdot {\rm tanh}^{-1} \hspace{0.05cm} \left [ {\rm tanh}(+1) \cdot {\rm tanh}(-0.5) \right ] = 2 \cdot {\rm tanh}^{-1} \hspace{0.05cm} \left [ 0.7616 \cdot (-0.4621) \right ] $$
$$\Rightarrow \hspace{0.3cm}L_{\rm E}(x_3) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} 2 \cdot {\rm tanh}^{-1} \hspace{0.05cm} \left [ -0.3519 \right ] =-2 \cdot 0.3676\hspace{0.15cm} \underline{= -0.7352}\hspace{0.05cm}.$$

Das Ergebnis ${\rm tanh}^{-1} (-0.3519) = 0.3676$ wurde der Tabelle auf der Angabenseite entnommen.


(5)  Beim Wiederholungscode der Länge $n = 3$ gilt wie in der Teilaufgabe (3):

$$L_{\rm E}(x_3) = L_{\rm A}(x_1) + L_{\rm A}(x_2) = -0.847 +1.382 \hspace{0.15cm} \underline{= +0.535}\hspace{0.05cm}.$$

Benutzt wurden hierbei die $L$–Werte entsprechend der Tabelle zur Teilaufgabe (1), zum Beispiel ${\rm Pr}(x_1 = +1) = 0.3$   ⇒   $L_{\rm A}(x_1) = -0.847$.


(6)  Nachdem hier anstelle der Apriori–$L$–Werte die Apriori–Wahrscheinlichkeiten gegeben sind, kommt man gegenüber der Teilaufgabe (4) auf dem Umweg über den extrinsischen $S$–Wert schneller zum Erfolg.

  • Die extrinsische Wahrscheinlichkeit für das dritte Symbol bezeichnen wir hier mit $P_{\rm E}(x_3)$. Für diese gilt:
$$P_{\rm E}(x_3 = +1) \hspace{-0.15cm} \ = \ \hspace{-0.15cm} P_{\rm A}(x_1 = +1) \cdot P_{\rm A}(x_2 = -1) + P_{\rm A}(x_1 = -1) \cdot P_{\rm A}(x_2 = +1) = 0.3 \cdot (1-0.8) + (1-0.3) \cdot 0.8 = 0.62\hspace{0.05cm}.$$
  • Daraus ergeben sich für die weiteren Größen:
$$S_{\rm E}(x_3) = P_{\rm E}(x_3 = +1) - P_{\rm E}(x_3 = - 1) = 0.62 -0.38 = 0.24\hspace{0.05cm},$$
$$L_{\rm E}(x_3) = 2 \cdot {\rm tanh}^{-1} \hspace{0.05cm} \left [ S_{\rm E}(x_3) \right ] = 2 \cdot {\rm tanh}^{-1} \hspace{0.05cm} (0.24) = 2 \cdot 0.245 \hspace{0.15cm} \underline{= +0.49}\hspace{0.05cm}$$