Difference between revisions of "Aufgaben:Exercise 4.7: Product Code Decoding"

From LNTwww
 
(25 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{quiz-Header|Buchseite=Kanalcodierung/Grundlegendes zu den Produktcodes}}
+
{{quiz-Header|Buchseite=Channel_Coding/The_Basics_of_Product_Codes}}
  
[[File:P_ID3006__KC_A_4_7_v2.png|right|frame|Syndromtabellen der betrachteten Komponenten
+
[[File:EN_KC_T_4_2_S2b_v2.png|right|frame|Syndrome tables of the considered component codes  $\mathcal{C}_1$  and  $\mathcal{C}_2$]]  
–Codes]]
+
We consider as in the  [[Aufgaben:Exercise_4.6:_Product_Code_Generation|$\text{Exercise 4.6}$]]  a product code based on
Wir betrachten wie in [[Aufgaben:4.6_Produktcode%E2%80%93Generierung|Aufgabe A4.6]] einen Produktcode, basierend auf
+
* the Hamming code  $\rm HC \ (7, \ 4, \ 3)$   ⇒   $\mathcal{C}_1$,
* dem Hammingcode (7, 4, 3)  ⇒ Code $C_1$,
 
* dem verkürzten Hammingcode (6, 3, 3)  ⇒  $C_2$.
 
  
 +
* the truncated Hamming code  $\rm HC \ (6, \ 3, \ 3)$   ⇒   $\mathcal{C}_2$.
  
Die Prüfmatrizen dieser Codes lauten:
+
 
 +
The parity-check matrices of these component codes are:
 
:$${ \boldsymbol{\rm H}}_1  
 
:$${ \boldsymbol{\rm H}}_1  
 
=  \begin{pmatrix}
 
=  \begin{pmatrix}
Line 14: Line 14:
 
0 &1 &1 &1 &0 &1 &0 \\
 
0 &1 &1 &1 &0 &1 &0 \\
 
1 &0 &1 &1 &0 &0 &1  
 
1 &0 &1 &1 &0 &0 &1  
\end{pmatrix} \hspace{0.05cm},$$
+
\end{pmatrix} \hspace{0.05cm},\hspace{0.8cm}
:$${ \boldsymbol{\rm H}}_2  
+
{ \boldsymbol{\rm H}}_2  
 
=  \begin{pmatrix}
 
=  \begin{pmatrix}
 
1 &1 &0  &1 &0 &0 \\
 
1 &1 &0  &1 &0 &0 \\
Line 22: Line 22:
 
\end{pmatrix} \hspace{0.05cm}.$$
 
\end{pmatrix} \hspace{0.05cm}.$$
  
Die <i>Hard Decision Decodierung</i> dieses Codes geschieht vorzugsweise iterativ, indem abwechselnd alle Zeilen und anschließend alle Spalten syndromdecodiert werden.
+
For the sake of completeness,&nbsp; the generator matrices are also given,&nbsp; but they are not needed to solve the exercise:
 +
:$${ \boldsymbol{\rm G}}_1
 +
=  \begin{pmatrix}
 +
1 &0 &0 &0 &1 &0 &1 \\
 +
0 &1 &0 &0 &1 &1 &0 \\
 +
0 &0 &1 &0 &0 &1 &1 \\
 +
0 &0 &0 &1 &1 &1 &1
 +
\end{pmatrix} \hspace{0.05cm},\hspace{0.8cm}
 +
{ \boldsymbol{\rm G}}_2
 +
=  \begin{pmatrix}
 +
1 &0 &0 &1 &1 &0  \\
 +
0 &1 &0 &1 &0 &1  \\
 +
0 &0 &1 &0 &1 &1 
 +
\end{pmatrix} \hspace{0.05cm}.$$
 +
 
 +
The&nbsp; "Hard Decision Decoding"&nbsp; of this code is preferably done iteratively,&nbsp; by alternately&nbsp; "syndrome decoding"&nbsp; all rows and then all columns.&nbsp; See section&nbsp; [[Channel_Coding/The_Basics_of_Product_Codes#Iterative_syndrome_decoding_of_product_codes| "Iterative Syndrome Decoding of Product Codes"]].
 +
 
 +
Syndrome decoding of&nbsp; (one-dimensional)&nbsp; block codes has already been covered in the chapter&nbsp; [[Channel_Coding/Decoding_of_Linear_Block_Codes| "Decoding of Linear Block Codes"]].&nbsp; Here is a brief summary and an adaptation to the two-dimensional case:
 +
# From the received word&nbsp; $\underline{y}$&nbsp; $($a row or a column of the given received matrix$)$,&nbsp; <br>the syndrome corresponding to &nbsp; $\underline{s} = \underline{y} \cdot \mathbf{H}_1^{\rm T}$ &nbsp; resp. &nbsp; $\underline{s} = \underline{y} \cdot \mathbf{H}_2^{\rm T}$ &nbsp; is formed.
 +
#With the result &nbsp; $\underline{s} = \underline{s}_{\mu}$ &nbsp; one can read in above tables the so called&nbsp; "coset leader"&nbsp; $\underline{e}_{\mu}$&nbsp;.
 +
#The corrected code word is then&nbsp; $\underline{y} + \underline{e}_{\mu}$.
 +
 
 +
[[File:EN_KC_A_4_7_Zusatz_v2.png|right|frame|Predefined encoder and receiver matrices]]
 +
 
 +
 
 +
The accompanying diagram shows three different encoded and received matrices to be analyzed in the subtasks&nbsp; '''(1)''',&nbsp; '''(2)''',&nbsp; and&nbsp; '''(3)''':
 +
*We name them constellation&nbsp; $\mathbf{A}$,&nbsp; $\mathbf{B}$&nbsp; and&nbsp; $\mathbf{C}$.
 +
 +
*Marked in yellow are the differences in the received matrices of constellation&nbsp; $\mathbf{B}$&nbsp; versus&nbsp; $\mathbf{A}$.&nbsp; In both cases,&nbsp; the encoded matrix consists only of&nbsp; "zeros".
 +
 
 +
*The encoded matrix of&nbsp; $\rm C$&nbsp; was determined in&nbsp; [[Aufgaben:Exercise_4.6:_Product_Code_Generation|$\text{Exercise 4.6}$]]&nbsp;.
  
''Hinweis:'' Die Syndromdecodierung soll entsprechend der [[Kanalcodierung/Grundlegendes_zu_den_Produktcodes#Iterative_Syndromdecodierung_von_Produktcodes| zweiten Theorieseite]] von Kapitel 4.2 erfolgen.
 
  
Die folgende Grafik zeigt drei verschiedene Coder&ndash; und Empfangsmatrizen, die in den Teilaufgaben (1), (2) und (3) zu analysieren sind. Wir benennen diese mit Konstellation (A), (B) und (C). Gelb markiert sind die Unterschiede der Empfangsmatrix von Konstellation (B) gegenüber (A). In beiden Fällen besteht die Codermatrix nur aus Nullen. Die Codematrix von (C) wurde in [[Aufgaben:4.6_Produktcode%E2%80%93Generierung|Aufgabe A4.6]] ermittelt.
 
  
[[File:P_ID3007__KC_A_4_7zusatz_v1.png|center|frame|Vorgegebene Coder– und Empfangsmatrizen]]
 
  
Die Syndromdecodierung (eindimensionaler) Blockcodes wurde bereits im Kapitel [[Kanalcodierung/Decodierung_linearer_Blockcodes| Decodierung linearer Blockcodes]] behandelt. Hier eine kurze Zusammenfassung und eine Adaption an den zweidimensionalen Fall:
 
* Aus dem Empfangswort $\underline{y}$ (einer Zeile bzw. einer Spalte der vorgegebenen Empfangsmatrix) wird das Syndrom entsprechend $\underline{s} = \underline{y} \cdot \mathbf{H}_1^{\rm T}$ bzw. $\underline{s} = \underline{y} \cdot \mathbf{H}_2^{\rm T}$ gebildet.
 
* Mit dem Ergebnis $\underline{s} = \underline{s}_{\mu}$ kann man in obigen Tabellen den so genannten Nebenklassenanfüherer $\underline{e}_{\mu}$ ablesen. Das korrigierte Codewort ist dann $\underline{y} + \underline{e}_{\mu}$.
 
  
 +
<u>Hints:</u>
 +
*This exercise belongs to the chapter&nbsp; [[Channel_Coding/The_Basics_of_Product_Codes| "Basics of Product Codes"]].
  
 +
*Reference is made in particular to the section&nbsp; [[Channel_Coding/The_Basics_of_Product_Codes#Iterative_syndrome_decoding_of_product_codes| "Iterative syndrome decoding of product codes"]].
  
===Fragebogen===
+
 
 +
 
 +
 
 +
 
 +
===Questions===
 
<quiz display=simple>
 
<quiz display=simple>
{Ist die 2D&ndash;Empfangsmatrix $\mathbf{A}$ decodierbar?
+
{Is the two-dimensional received matrix &nbsp;$\mathbf{A}$&nbsp; decodable?
 
|type="()"}
 
|type="()"}
- Ja, nach der ersten Decodierung in horizontaler Richtung.
+
- Yes,&nbsp; after the first decoding in horizontal direction.
- Ja, nach der ersten Decodierung in vertikaler Richtung.
+
- Yes,&nbsp; after the first decoding in vertical direction.
+ Ja, nach der zweiten Decodierung in horizontaler Richtung.
+
+ Yes,&nbsp; after the second decoding in horizontal direction.
- Ja, nach der zweiten Decodierung in vertikaler Richtung.
+
- Yes,&nbsp; after the second decoding in vertical direction.
- Nein.
+
- No.
  
{Ist die 2D&ndash;Empfangsmatrix $\mathbf{B}$ decodierbar?
+
{Is the two-dimensional received matrix &nbsp;$\mathbf{B}$&nbsp; decodable?
 
|type="()"}
 
|type="()"}
- Ja, nach der ersten Decodierung in horizontaler Richtung.
+
- Yes,&nbsp; after the first decoding in horizontal direction.
- Ja, nach der ersten Decodierung in vertikaler Richtung.
+
- Yes,&nbsp; after the first decoding in vertical direction.
- Ja, nach der zweiten Decodierung in horizontaler Richtung.
+
- Yes,&nbsp; after the second decoding in horizontal direction.
- Ja, nach der zweiten Decodierung in vertikaler Richtung.
+
- Yes,&nbsp; after the second decoding in vertical direction.
+ Nein.
+
+ No.
  
{Ist die 2D&ndash;Empfangsmatrix $\mathbf{C}$ decodierbar? Versuchen Sie, die Lösung über eine Äquivalenz zur Aufgabe (1) oder (2) zu finden.
+
{Is the two-dimensional received matrix &nbsp;$\mathbf{C}$&nbsp; decodable?&nbsp; <br>Try to find the solution via an equivalence to subtask&nbsp; '''(1)'''&nbsp; resp.&nbsp; '''(2)'''.
 
|type="()"}
 
|type="()"}
- Ja, nach der ersten Decodierung in horizontaler Richtung.
+
- Yes,&nbsp; after the first decoding in horizontal direction.
- Ja, nach der ersten Decodierung in vertikaler Richtung.
+
- Yes,&nbsp; after the first decoding in vertical direction.
+ Ja, nach der zweiten Decodierung in horizontaler Richtung.
+
+ Yes,&nbsp; after the second decoding in horizontal direction.
- Ja, nach der zweiten Decodierung in vertikaler Richtung.
+
- Yes,&nbsp; after the second decoding in vertical direction.
- Nein.
+
- No.
 
</quiz>
 
</quiz>
  
===Musterlösung===
+
===Solution===
 
{{ML-Kopf}}
 
{{ML-Kopf}}
'''(1)'''&nbsp; Der Decodiervorgang der Empfangsmatrix $\mathbf{A}$ wird durch die folgende Grafik verdeutlicht.
+
'''(1)'''&nbsp; The decoding process of the received matrix&nbsp; $\mathbf{A}$&nbsp; is illustrated by the following diagram.
  
[[File:P_ID3008__KC_A_4_7a_v1.png|center|frame|Zur Syndromdecodierung der 2D–Empfangsmatrix $\mathbf{A}$]]
+
[[File:EN_KC_A_4_7a_v2.png|right|frame|Syndrome decoding of the two-dimensional received matrix $\mathbf{A}$ ]]
  
* Die Einzelfehler in den Zeilen 1, 3, 5 und 6 werden vom (7, 4, 3)&ndash;Hammingcode erkannt und können korrigiert werden &nbsp;&#8658;&nbsp; grüne Markierungen in der Grafik &bdquo;1. Iteration horizontal&rdquo;.
+
* The single errors in rows&nbsp; 1, 3, 5 and 6&nbsp; are detected by&nbsp; $(7, \ 4, \ 3)$&nbsp; Hamming code and can be corrected <br>&nbsp;&#8658;&nbsp; green markings in the graphic&nbsp; "1st iteration horizontal".
* Für die zweite Zeile ergibt sich das Syndrom
+
 
 +
* For the second row results the syndrome
 
:$$\underline{s} = \underline{y}_2 \hspace{-0.03cm}\cdot \hspace{-0.03cm}{ \boldsymbol{\rm H}}_1^{\rm T} = \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}0 \right ) \cdot \hspace{-0.05cm}
 
:$$\underline{s} = \underline{y}_2 \hspace{-0.03cm}\cdot \hspace{-0.03cm}{ \boldsymbol{\rm H}}_1^{\rm T} = \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}0 \right ) \cdot \hspace{-0.05cm}
 
   \begin{pmatrix}
 
   \begin{pmatrix}
Line 80: Line 112:
 
0 &1 &0 \\
 
0 &1 &0 \\
 
0 &0 &1
 
0 &0 &1
\end{pmatrix} \hspace{-0.05cm}=
+
\end{pmatrix} \hspace{-0.05cm}=$$
 +
:$$\Rightarrow \hspace{0.3cm} \underline{s} =
 
\left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right )
 
\left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right )
 
+ \left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}1 \right )=
 
+ \left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}1 \right )=
Line 86: Line 119:
 
= \underline{s}_1 \hspace{0.03cm}.$$
 
= \underline{s}_1 \hspace{0.03cm}.$$
  
# Nach der oberen Syndromtabelle auf der Angabenseite wird somit fälschlicherweise das letzte Bit &bdquo;korrigiert&rdquo;. Fehlerkorrekturen sind in der oberen Grafik rot eingetragen.
+
* According to the upper syndrome table on the information page,&nbsp; the last bit is incorrectly&nbsp; "corrected".&nbsp; Incorrect corrections are entered in red in the upper graphic.
* Entsprechend gilt für die vierte Zeile:
+
 
 +
* Correspondingly applies to the fourth row:
 
:$$\underline{s} = \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0 \right ) \cdot { \boldsymbol{\rm H}}_1^{\rm T} =
 
:$$\underline{s} = \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0 \right ) \cdot { \boldsymbol{\rm H}}_1^{\rm T} =
 
\left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right )
 
\left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right )
 
+ \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right )=
 
+ \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right )=
 
\left ( 1, \hspace{0.03cm} 0, \hspace{0.03cm}0 \right )= \underline{s}_4 \hspace{0.05cm}.$$
 
\left ( 1, \hspace{0.03cm} 0, \hspace{0.03cm}0 \right )= \underline{s}_4 \hspace{0.05cm}.$$
# Dies bewirkt eine Fehlkorrektur von Bit 5.
+
* This causes a miscorrection of bit&nbsp; '''5'''.
  
* Die vertikale Decodierung der Spalten 1, 3, 4, 5, 6 und 7 ist problemlos, da höchstens ein Fehler pro Spalte auftritt, der durch den verkürzten Hammingcode (6, 3, 3) korrigiert werden kann.
+
:* Vertical decoding of columns 1, 3, 4, 5, 6, and 7 is straightforward because there is at most one error per column, which can be corrected by the truncated Hamming code $\rm (6, \ 3, \ 3)$.
  
* In Spalte 2 kommt es dagegen zu einer Fehlkorrektur des letzten Bits entsprechend der unteren Syndromtabelle. Mit der Transponierten der (6, 3)&ndash;Prüfmatrix $\mathbf{H}_2$ ergibt sich nämlich:
+
:* In column 2, however, there is a miscorrection of the last bit according to the lower syndrome table. With the transpose of the $\rm (6, \ 3, \ 3)$ parity-check matrix $\mathbf{H}_2$ results namely:
 
:$$\underline{s}= \underline{y}_{2{\rm S}}\cdot { \boldsymbol{\rm H}}_2^{\rm T}
 
:$$\underline{s}= \underline{y}_{2{\rm S}}\cdot { \boldsymbol{\rm H}}_2^{\rm T}
 
= \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0, \hspace{0.03cm}0 \right ) \cdot
 
= \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0, \hspace{0.03cm}0 \right ) \cdot
Line 110: Line 144:
 
+ \left ( 1, \hspace{0.03cm} 0, \hspace{0.03cm}0 \right )=
 
+ \left ( 1, \hspace{0.03cm} 0, \hspace{0.03cm}0 \right )=
 
\left ( 0, \hspace{0.03cm} 0, \hspace{0.03cm}1 \right ) = \underline{s}_1.$$
 
\left ( 0, \hspace{0.03cm} 0, \hspace{0.03cm}1 \right ) = \underline{s}_1.$$
* Die zweite Horizontaldecodierung ist problemlos, da nun in jeder Zeile maximal ein Fehler auftritt &nbsp;&#8658;&nbsp; <u>Lösungsvorschlag 3</u>.
+
* The second horizontal decoding is problem-free, since now at most one error occurs in each row &nbsp;&#8658;&nbsp; <u>Solution suggestion 3</u>.
 +
 
  
  
'''(2)'''&nbsp; Die folgende Grafik zeigt den Decodiervorgang entsprechend den Vorgaben gemäß $\mathbf{B}$.
+
'''(2)'''&nbsp; The following graphic shows the decoding process according to the specifications given by&nbsp; $\mathbf{B}$.&nbsp;
 +
[[File:EN_KC_A_4_7b_v2.png|right|frame|For syndrome decoding of the two-dimensional received matrix&nbsp; $\mathbf{B}$.]]
  
[[File:P_ID3009__KC_A_4_7b_v2.png|center|frame|Zur Syndromdecodierung der 2D–Empfangsmatrix $\mathbf{B}$]]
+
Despite only minor modifications compared to&nbsp; $\mathbf{A}$,&nbsp; there are now serious differences:
  
Trotz nur geringfügigen Modifikationen gegenüber $\mathbf{A}$ gibt es nun gravierende Unterschiede:
+
* Due to the first horizontal decoding,&nbsp; the&nbsp; "corrected"&nbsp; rows 2 and 4 now read equally:&nbsp; $(0, \, 1, \, 0, \, 1, \, 0, \, 0, \, 1)$, i.e.,&nbsp; the last bit of these rows is miscorrected in each case.
* Durch die erste Horizontaldecodierung lauten nun die &bdquo;korrigierten&rdquo; Zeilen 2 und 4 gleichermaßen: $(0, \, 1, \, 0, \, 1, \, 0, \, 0, \, 1)$, das heißt, das letzte Bit dieser Zeilen wird jeweils fehlkorrigiert.
 
* Die Vertikaldecodierung führt zu gleichlautenden Spalten 2, 4 und 6, nämlich $(0, \, 1, \, 0, \, 1, \, 0, \, 1)$. Danach gibt es in jeder Zeile und in jeder Spalte drei Einsen (oder keine einzige).
 
* Diese Konstellation bleibt für beliebig weitere (horizontale oder vertikale) Decodierungen erhalten, weil sich für $d_{\rm min} = 3$ stets das Syndrom $\underline{s}_0 = (0, \, 0, \, 0)$ ergibt.
 
  
 +
* Vertical decoding results in identical columns 2, 4, and 6:&nbsp;  $(0, \, 1, \, 0, \, 1, \, 0, \, 1)$.&nbsp; After that,&nbsp; there are three&nbsp; "ones"&nbsp; $($or none$)$&nbsp; in each row and in each column.
  
Richtig ist also der <u>Lösungsvorschlag 5</u>.
+
* This constellation remains for arbitrary further (horizontal or vertical) decodings, because for $d_{\rm min} = 3$ always the syndrome $\underline{s}_0 = (0, \, 0, \, 0)$ results.
  
  
'''(3)'''&nbsp; Vergleicht man die Coder&ndash; und Empfangsmatrizen (Unterschiede sind blau markiert), so kann man entsprechend der folgenden Grafik durch Modulo&ndash;2&ndash;Additionen die Fehlermatrix erstellen.
+
The correct solution is&nbsp; <u>proposal 5</u>.
 +
<br clear=all>
 +
[[File:EN_KC_A_4_7c_v3.png|right|frame|Matrix representation of encoder, receiver and error pattern]]
 +
'''(3)'''&nbsp; Comparing the encoded and received matrices&nbsp; $($differences are marked in blue$)$,&nbsp; one can create the error matrices by modulo-2 additions according to the following graph.
  
[[File:P_ID3010__KC_A_4_7c_v2.png|center|frame|Matrizendarstellung von Coder, Empfänger und Fehlermuster]]
 
  
Die Fehlermatrix ist gleich der Empfangsmatrix von $\mathbf{A}$ &nbsp;&#8658;&nbsp; auch hier ist der <u>Lösungsvorschlag 3</u> richtig.
+
The error matrix is equal to the received matrix of $\mathbf{A}$ &nbsp;&#8658;&nbsp; again, <u>proposed solution 3</u> is correct.
 
{{ML-Fuß}}
 
{{ML-Fuß}}
  
  
 
+
[[Category:Channel Coding: Exercises|^4.2 About the Product Codes^]]
[[Category:Aufgaben zu  Kanalcodierung|^4.2 Grundlegendes zu den Produktcodes^]]
 

Latest revision as of 16:29, 13 March 2023

Syndrome tables of the considered component codes  $\mathcal{C}_1$  and  $\mathcal{C}_2$

We consider as in the  $\text{Exercise 4.6}$  a product code based on

  • the Hamming code  $\rm HC \ (7, \ 4, \ 3)$   ⇒   $\mathcal{C}_1$,
  • the truncated Hamming code  $\rm HC \ (6, \ 3, \ 3)$   ⇒   $\mathcal{C}_2$.


The parity-check matrices of these component codes are:

$${ \boldsymbol{\rm H}}_1 = \begin{pmatrix} 1 &1 &0 &1 &1 &0 &0 \\ 0 &1 &1 &1 &0 &1 &0 \\ 1 &0 &1 &1 &0 &0 &1 \end{pmatrix} \hspace{0.05cm},\hspace{0.8cm} { \boldsymbol{\rm H}}_2 = \begin{pmatrix} 1 &1 &0 &1 &0 &0 \\ 1 &0 &1 &0 &1 &0 \\ 0 &1 &1 &0 &0 &1 \end{pmatrix} \hspace{0.05cm}.$$

For the sake of completeness,  the generator matrices are also given,  but they are not needed to solve the exercise:

$${ \boldsymbol{\rm G}}_1 = \begin{pmatrix} 1 &0 &0 &0 &1 &0 &1 \\ 0 &1 &0 &0 &1 &1 &0 \\ 0 &0 &1 &0 &0 &1 &1 \\ 0 &0 &0 &1 &1 &1 &1 \end{pmatrix} \hspace{0.05cm},\hspace{0.8cm} { \boldsymbol{\rm G}}_2 = \begin{pmatrix} 1 &0 &0 &1 &1 &0 \\ 0 &1 &0 &1 &0 &1 \\ 0 &0 &1 &0 &1 &1 \end{pmatrix} \hspace{0.05cm}.$$

The  "Hard Decision Decoding"  of this code is preferably done iteratively,  by alternately  "syndrome decoding"  all rows and then all columns.  See section  "Iterative Syndrome Decoding of Product Codes".

Syndrome decoding of  (one-dimensional)  block codes has already been covered in the chapter  "Decoding of Linear Block Codes".  Here is a brief summary and an adaptation to the two-dimensional case:

  1. From the received word  $\underline{y}$  $($a row or a column of the given received matrix$)$, 
    the syndrome corresponding to   $\underline{s} = \underline{y} \cdot \mathbf{H}_1^{\rm T}$   resp.   $\underline{s} = \underline{y} \cdot \mathbf{H}_2^{\rm T}$   is formed.
  2. With the result   $\underline{s} = \underline{s}_{\mu}$   one can read in above tables the so called  "coset leader"  $\underline{e}_{\mu}$ .
  3. The corrected code word is then  $\underline{y} + \underline{e}_{\mu}$.
Predefined encoder and receiver matrices


The accompanying diagram shows three different encoded and received matrices to be analyzed in the subtasks  (1)(2),  and  (3):

  • We name them constellation  $\mathbf{A}$,  $\mathbf{B}$  and  $\mathbf{C}$.
  • Marked in yellow are the differences in the received matrices of constellation  $\mathbf{B}$  versus  $\mathbf{A}$.  In both cases,  the encoded matrix consists only of  "zeros".



Hints:



Questions

1

Is the two-dimensional received matrix  $\mathbf{A}$  decodable?

Yes,  after the first decoding in horizontal direction.
Yes,  after the first decoding in vertical direction.
Yes,  after the second decoding in horizontal direction.
Yes,  after the second decoding in vertical direction.
No.

2

Is the two-dimensional received matrix  $\mathbf{B}$  decodable?

Yes,  after the first decoding in horizontal direction.
Yes,  after the first decoding in vertical direction.
Yes,  after the second decoding in horizontal direction.
Yes,  after the second decoding in vertical direction.
No.

3

Is the two-dimensional received matrix  $\mathbf{C}$  decodable? 
Try to find the solution via an equivalence to subtask  (1)  resp.  (2).

Yes,  after the first decoding in horizontal direction.
Yes,  after the first decoding in vertical direction.
Yes,  after the second decoding in horizontal direction.
Yes,  after the second decoding in vertical direction.
No.


Solution

(1)  The decoding process of the received matrix  $\mathbf{A}$  is illustrated by the following diagram.

Syndrome decoding of the two-dimensional received matrix $\mathbf{A}$
  • The single errors in rows  1, 3, 5 and 6  are detected by  $(7, \ 4, \ 3)$  Hamming code and can be corrected
     ⇒  green markings in the graphic  "1st iteration horizontal".
  • For the second row results the syndrome
$$\underline{s} = \underline{y}_2 \hspace{-0.03cm}\cdot \hspace{-0.03cm}{ \boldsymbol{\rm H}}_1^{\rm T} = \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}0 \right ) \cdot \hspace{-0.05cm} \begin{pmatrix} 1 &0 &1 \\ 1 &1 &0 \\ 0 &1 &1 \\ 1 &1 &1 \\ 1 &0 &0 \\ 0 &1 &0 \\ 0 &0 &1 \end{pmatrix} \hspace{-0.05cm}=$$
$$\Rightarrow \hspace{0.3cm} \underline{s} = \left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right ) + \left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}1 \right )= \left ( 0, \hspace{0.03cm} 0, \hspace{0.03cm}1 \right ) = \underline{s}_1 \hspace{0.03cm}.$$
  • According to the upper syndrome table on the information page,  the last bit is incorrectly  "corrected".  Incorrect corrections are entered in red in the upper graphic.
  • Correspondingly applies to the fourth row:
$$\underline{s} = \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0 \right ) \cdot { \boldsymbol{\rm H}}_1^{\rm T} = \left ( 1, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right ) + \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0 \right )= \left ( 1, \hspace{0.03cm} 0, \hspace{0.03cm}0 \right )= \underline{s}_4 \hspace{0.05cm}.$$
  • This causes a miscorrection of bit  5.
  • Vertical decoding of columns 1, 3, 4, 5, 6, and 7 is straightforward because there is at most one error per column, which can be corrected by the truncated Hamming code $\rm (6, \ 3, \ 3)$.
  • In column 2, however, there is a miscorrection of the last bit according to the lower syndrome table. With the transpose of the $\rm (6, \ 3, \ 3)$ parity-check matrix $\mathbf{H}_2$ results namely:
$$\underline{s}= \underline{y}_{2{\rm S}}\cdot { \boldsymbol{\rm H}}_2^{\rm T} = \left ( 0, \hspace{0.03cm} 1, \hspace{0.03cm}0, \hspace{0.03cm}1, \hspace{0.03cm}0, \hspace{0.03cm}0 \right ) \cdot \begin{pmatrix} 1 &1 &0 \\ 1 &0 &1 \\ 0 &1 &1 \\ 1 &0 &0 \\ 0 &1 &0 \\ 0 &0 &1 \end{pmatrix}= \left ( 1, \hspace{0.03cm} 0, \hspace{0.03cm}1 \right ) + \left ( 1, \hspace{0.03cm} 0, \hspace{0.03cm}0 \right )= \left ( 0, \hspace{0.03cm} 0, \hspace{0.03cm}1 \right ) = \underline{s}_1.$$
  • The second horizontal decoding is problem-free, since now at most one error occurs in each row  ⇒  Solution suggestion 3.


(2)  The following graphic shows the decoding process according to the specifications given by  $\mathbf{B}$. 

For syndrome decoding of the two-dimensional received matrix  $\mathbf{B}$.

Despite only minor modifications compared to  $\mathbf{A}$,  there are now serious differences:

  • Due to the first horizontal decoding,  the  "corrected"  rows 2 and 4 now read equally:  $(0, \, 1, \, 0, \, 1, \, 0, \, 0, \, 1)$, i.e.,  the last bit of these rows is miscorrected in each case.
  • Vertical decoding results in identical columns 2, 4, and 6:  $(0, \, 1, \, 0, \, 1, \, 0, \, 1)$.  After that,  there are three  "ones"  $($or none$)$  in each row and in each column.
  • This constellation remains for arbitrary further (horizontal or vertical) decodings, because for $d_{\rm min} = 3$ always the syndrome $\underline{s}_0 = (0, \, 0, \, 0)$ results.


The correct solution is  proposal 5.

Matrix representation of encoder, receiver and error pattern

(3)  Comparing the encoded and received matrices  $($differences are marked in blue$)$,  one can create the error matrices by modulo-2 additions according to the following graph.


The error matrix is equal to the received matrix of $\mathbf{A}$  ⇒  again, proposed solution 3 is correct.