en>Ttime570: /* Simple example */ rm empty section of dubious value

2011-10-21T15:35:52Z

Simple example: rm empty section of dubious value

New page

The '''Berlekamp–Welch algorithm''', also known as the '''Welch–Berlekamp algorithm''', is named for [[Elwyn R. Berlekamp]] and [[Lloyd R. Welch]]. The algorithm efficiently corrects errors in [[BCH code]]s and [[Reed–Solomon error correction|Reed–Solomon codes]] (which are a subset of BCH codes). Unlike many other decoding algorithms, and in correspondence with the code-domain [[Berlekamp–Massey algorithm]] that uses [[Decoding methods#Syndrome_decoding|syndrome decoding]] and the dual of the codes, the Berlekamp–Welch decoding algorithm provides a method for decoding Reed–Solomon codes using just the generator matrix and not syndromes.

==History on decoding Reed–Solomon codes==

# In 1960, Peterson came up with an algorithm for decoding [[BCH codes]].<ref>{{Citation
|last= Berlekamp
|first= Elwyn R.
|authorlink= Elwyn Berlekamp
|title= Nonbinary BCH decoding
|year= 1967
|series= International Symposium on Information Theory
|place= San Remo, Italy}}</ref><ref>{{Citation
|last= Berlekamp
|first= Elwyn R.
|authorlink= Elwyn Berlekamp
|title=Algebraic Coding Theory
|place=Laguna Hills, CA
|origyear=1968
|year=1984
|ed= Revised
|publisher=Aegean Park Press
|isbn= 0-89412-063-8}}. Previous publisher McGraw–Hill, New York, NY.</ref> His algorithm solves the important second stage of the generalized BCH decoding procedure and is used to calculate the error locator polynomial coefficients that in turn provide the error locator polynomial. This is crucial to the decoding of BCH codes.
# In 1963, Gorenstein–Zierler saw that BCH codes and [[Reed–Solomon error correction|Reed–Solomon codes]] have a common generalization and that the decoding algorithm extends to more general situation.
# In 1968 / 69, [[Elwyn Berlekamp]] invented an algorithm for decoding BCH codes. [[James Massey]] recognized its application to linear feedback shift registers and simplified the algorithm.<ref>{{Citation
|first= J. L.
|last= Massey
|authorlink= James Massey
|title= Shift-register synthesis and BCH decoding
|journal= IEEE Trans. Information Theory
|volume= IT-15
|issue= 1
|year= 1969
|pages= 122–127
|url= http://crypto.stanford.edu/~mironov/cs359/massey.pdf}}</ref><ref>{{Citation
|last= Ben Atti
|first= Nadia
|last2= Diaz-Toca
|first2= Gema M.
|last3= Lombardi
|first3= Henri
|title= The Berlekamp–Massey Algorithm revisited
|id= {{citeseerx|10.1.1.96.2743}}
|doi= }}</ref> Massey termed the algorithm the LFSR Synthesis Algorithm (Berlekamp Iterative Algorithm) but it is now known as the [[Berlekamp–Massey algorithm]].
# In 1986, The Welch–Berlekamp algorithm was developed to solve the decoding equation of [[Reed–Solomon error correction|Reed–Solomon codes]], using a fast method to solve a certain polynomial equation. The Berlekamp – Welch algorithm has a running time complexity of <math>\mathcal{O}(N^3)</math>. We will in the following sections look at the Gemmel and Sudan’s exposition of the Berlekamp Welch Algorithm.<ref>[http://people.csail.mit.edu/madhu/papers/1992/gemmell.pdf Highly resilient correctors for polynomials – Peter Gemmel and Madhu Sudan's Exposition.]</ref>

==Error locator polynomial of Reed–Solomon codes==

In the problem of decoding Reed–Solomon codes, the inputs are pair wise distinct evaluation points <math>\alpha_i</math>’s (''i'' = 1, . . ., ''n'') where <math>\alpha_i \in \mathbb{F}</math> with [[Block code#Definitions|dimension]] <math>K</math> and [[Minimum distance|distance]] <math>D = N - K + 1 </math> and a codeword <math>y</math> = <math>(y_1, \ldots , y_n) \in \mathbb{F}_n</math>. Our goal is to describe an algorithm that can correct <math>e < {N -K+1 \over 2}</math> many errors in polynomial time. To do so we have to find a polynomial <math>P</math> over <math>\mathbb{F}</math> such that <math>P</math> has degree less than <math>k - 1</math> and (the number of <math>i</math>’s such that <math>P(\alpha_i) \ne y_i \le e</math>. We can assume that there exists a polynomial <math>P(X)</math> such that <math>\Delta(y, (P (\alpha_i))^N _{i=1})</math> ≤ <math> e \le {D \over 2}</math> or <math>{N - K + 1 \over 2}</math>.

Note that the coefficients of <math>P</math> are the encoded information. To solve this, we use an indicator for those <math>i</math>’s where an error may have occurred. Thus we define <math>E(X)</math>, which is an error locator polynomial over <math>\mathbb{F}</math> such that <math>E(\alpha_i)= 0</math> if <math>y_i \ne P(\alpha_i)</math> and the degree of <math>E</math> can be given by: <math>E \le {n - k \over 2}</math>.

: <math>E(X) = \prod_{\alpha_i \in S} (X - \alpha_i)</math> where <math>S = \{\alpha_i | P(\alpha_i) \ne y_i\}</math>

We can also claim that for every <math>1 \le i \le N</math>, <math>y_i E(\alpha_i) = P(\alpha_i) E(\alpha_i)</math>. This fact holds true because in the event of <math>y_i \ne P(\alpha_i)</math>, both sides of the above equation become <math>0</math> because <math>E(\alpha_i) = 0</math>.

However since both <math>E(X)</math> and <math>P(X)</math> are unknown, the main task of the decoding algorithm would be to find <math>P(X)</math>. To do this we use a seemingly useless yet very powerful method and define another polynomial <math>Q(X)</math> as <math>Q(X)</math> = <math>P(X)E(X)</math>. This is because the <math>n</math> equations with <math>e + k</math> we need to solve are quadratic in nature. Thus by defining a product of two variables that gives rise to a quadratic term as one unknown variable, we increase the number of unknowns but make the equations linear in nature. This method is called linearization<ref>[http://rjlipton.wordpress.com/2010/12/13/making-a-heuristic-into-a-theorem/ A provable example of the linearization method – Dick Lipton]</ref> and is a very powerful tool.

Thus <math>Q(X)</math> is a polynomial over <math>\mathbb{F}</math> having the properties:
# <math>\deg(Q) \le {{n - k \over 2} + k - 1}</math>
# <math>\forall Q(\alpha_i) = E(\alpha_i)y_i</math>

This helps because if we now manage to find <math>Q(X)</math> and <math>E(X)</math>, we can easily find <math>P(X)</math> using <math>P(X) = {Q(X) \over E(X)}</math>.
The main purpose of the Berlekamp Welch algorithm is to find out <math>P(X)</math> using degree bounded polynomials <math>Q(X)</math> and <math>E(X)</math> and the properties of <math>E</math> and <math>N</math>.

Computing <math>E(X)</math> is as hard as ﬁnding the end solution, polynomial <math>P(X)</math>. Once <math>E(X)</math> is computed, using erasure decoding for Reed–Solomon codes, we can easily recover <math>P(X)</math>. However in a few cases, even the polynomial <math>Q(X)</math> is as hard to ﬁnd as <math>E(X)</math>. As an example, given <math>Q(X)</math> and <math>y</math> (such that <math>y_i \ne 0</math> for <math>1 \le i \le n</math>), by checking positions where <math>Q(i) = 0</math>, we can ﬁnd the error locations. Thus the algorithm works on the principle that while each of the polynomials <math>E(X)</math> and <math>Q(X)</math> are hard to ﬁnd individually; computing them together is much easier.

==The Berlekamp–Welch decoder and algorithm==

The Welch–Berlekamp decoder for Reed–Solomon codes consists of the Welch– Berlekamp algorithm augmented by some additional steps that prepare the received word for the algorithm and interpret the result of the algorithm.

The inputs given to the Berlekamp Welch decoder are the integers denoting Block Length <math>N</math>, the number of errors <math>e</math> such that <math> e</math> < <math>{N - K + 1 \over 2}</math>, and the received word <math>(y_i ,\alpha_i)^N _{i=1}</math> satisfying the condition that there exists at most one <math>P(X)</math> with <math>deg(P(X)) \le {k - 1}</math> with <math>\Delta(y, {P(\alpha_i)_i}) \le e</math>.

The output of the decoder is either the polynomial <math>P(X)</math>, or in some cases, a failure. This decoder functions in two steps as follows:
# This step is called the interpolation step in which the decoder computes a non zero polynomial <math>E(X)</math> of degree e and another polynomial <math>Q(X)</math> with <math>\deg(Q(X)) \le {e + K - 1}</math>. These polynomials are created such that the condition <math>y_i E(\alpha_i) = Q(\alpha_i)</math> for all <math>1 \le i \le n</math>. In the case that polynomials satisfying the above condition cannot be computed, the output of the decoder would be a failure.
# If <math>E(X)</math> divides <math>Q(X)</math>, then a <math>P</math>’<math>(X)</math> is defined which equals <math>Q(X) \over E(X)</math>. If <math>\Delta((y, (P</math>’<math>(\alpha_i)_i ) \le e)</math>, then the decoder outputs <math>P</math>’<math>(X)</math>. If the above condition is not satisfied, i.e. if <math>E(X)</math> does not divide <math>Q(X)</math>then a failure is returned by the decoder.

According to the algorithm, in the cases where it does not output a failure, it outputs a <math>P(X)</math> that is the correct and desired polynomial. To prove that, the algorithm always outputs the desired polynomial, we need to prove a few claims we have made while describing the algorithm. Let us go ahead and do so now.

'''''Claim 1: There exist a pair of polynomials <math>E(X)</math> and <math>Q(X)</math> that satisfy Step 1 of the BW algorithm such that <math>{Q(X) \over E(X)} = P (X)</math>.'''''

Let ''E''(''x'') be the error-locating polynomial for <math>P (X)</math> such that <math>E(X) = X^{e - \Delta(y, P(\alpha_i)_i)} \prod_{1\le i \le n| y_i \ne P(\alpha_i)} (X - \alpha_i)</math>and let <math>Q(X) = P (X)E(X)</math>. Note that <math>deg(Q(X)) \le {deg(P (X)) + deg(E(X))} \le {e + k - 1}</math>. We also stated that <math>E(X)</math> is a polynomial of degree exactly <math>e</math>. Note that <math>E(X)</math> is a polynomial following the property that <math>E(\alpha_i) = 0</math> if and only if <math>y_i \ne P(\alpha_i)</math>.We can now state that <math>E(X)</math> and <math>Q(X)</math> satisfy the equation <math>y_i E(\alpha_i) = Q(\alpha_i)</math> from the first step of the BW algorithm. If <math>E(\alpha_i) = 0</math>, then <math>Q(\alpha_i) = P(\alpha_i)E(\alpha_i) = y_iE(\alpha_i) = 0</math>. However whenever <math>E(\alpha_i) \ne 0</math>, we can easily state that <math>P(\alpha_i) = y_i</math> and therefore also state that <math>P(\alpha_i)E(\alpha_i) = y_iE(\alpha_i)</math> just as we claimed.

This above claim however just reiterates and proves the fact that there exists a pair of polynomials <math>E(X)</math> and <math>Q(X)</math> such that <math>P(X)</math> = <math>Q(X) / E(X)</math>. It however does not necessarily guarantee the fact that the algorithm we discussed above would indeed output such a pair of polynomials. We therefore move on to look at another claim that helps establish this fact using the above claim and thereby proving the correctness of the algorithm.

'''''Claim 2: For any two distinct solutions <math>(E_1(X) , Q_1(X)) \ne (E_2(X) , Q_2(X))</math> that satisfy the first step of the Berlekamp Welch algorithm given above, they will also satisfy the equation <math>{Q_1(X) \over E_1(X)} = {Q_2(X) \over E_2(X)}</math>'''''

The total degrees of the polynomials <math>Q_1(X)E_1(X)</math> and <math>Q_2(X)E_2(X) \le {2e + k - 1}</math>. We define another polynomial <math>R(X) = Q_1(X)E_2(X) - Q_2(X)E_1(X)</math> ....................................(i)

Note that <math>R(X)</math> such that <math>deg(R(X)) \le {2e + k - 1}</math>. From step 1 of the Berlekamp Welch algorithm we also know that <math>y_iE_1(\alpha_i) = Q_1(\alpha_i)</math> and <math>y_iE_2(\alpha_i) = Q_2(\alpha_i</math>) ........…..........(ii)

Now, substituting the values of <math>Q(X)</math> from equation (ii) into equation (i), we get:
<math>R(\alpha_i) = y_iE_1(\alpha_i)E_2(\alpha_i) - y_iE_2(\alpha_i)E_1(\alpha_i) = 0</math> for <math>1 \le i \le n</math>.

Thus, the above polynomial <math>R(X)</math> has <math>n</math> roots and <math>deg(R(X)) \le {2e + k - 1}</math> which implies that <math>deg(R(X))</math> < <math>n</math> because of the upper bound on <math>e</math>.
Since <math>deg(R(X))</math> < <math>n</math>, we can come to the conclusion that the polynomials <math>Q_1(X)E_2(X)</math> and <math>Q_2(X)E_1(X)</math> agree on more points than their degree, and hence they are identical. Note that since <math>E_1(X) \ne 0</math> and <math>E_2(X) \ne 0</math>, it can be implied that <math>{Q_1(X) \over E_1(X)} = {Q_2(X) \over E_2(X)}</math> as per our initial claim.

Thus based on the above claims, we can safely state that the output of the Berlekamp Welch algorithm, when outputting the polynomial <math>P(X)</math> is correct.

We can now claim that the algorithm can be implemented such that it has a running time of <math>O(n^3)</math>. This can be proved as follows:
In Step 1 of the algorithm, the polynomials <math>Q(X)</math> and <math>E(X)</math> have <math>e + k</math> and <math>e + 1</math> unknown values respectively and the constraints <math>y_i E(\alpha_i) = Q(\alpha_i)</math> for all <math>1 \le i \le n</math> acts as a linear equation with these unknowns. We therefore get a system of <math>n</math> linear equations in <math>2e + k + 1</math> < <math>n + 2</math> unknowns. Using our first claim, this system of equations has a solution since the degree of polynomial <math>E(X)</math> is <math>e</math>. This can be solved in <math>O(n^3)</math> time, by say Gaussian elimination. Finally, we can note that Step 2 of the algorithm can also be implemented in time <math>O(n^3)</math> by "long division" method.
Hence we can state that the Berlekamp Welch algorithm can be used to uniquely decode any <math>[n,k]_q</math> Reed–Solomon code in <math>O(n^3)</math> time for a maximum of <math>{n - k + 1} \over 2</math> errors.

==Example==

[[File:Recovering P(x) with an Error Locator Polynomial.png|thumb|upright=1.5|The error locator polynomial serves to "neutralize" errors in P by making Q zero at those points, so that the system of linear equations is not affected by the inaccuracy in the input.]]

Consider a simple example where a redundant set of points are used to represent the line <math>y = 5 - x</math>, and one of the points is incorrect. The points that the algorithm gets as an input are <math>(1,4), (2,3), (3,4), (4,1)</math>, where <math>(3,4)</math> is the defective point. The algorithm must solve the following system of equations: 
 
:<math>\begin{alignat}{1}
Q(1) & = 4*E(1) \\
Q(2) & = 3*E(2) \\
Q(3) & = 4*E(3) \\
Q(4) & = 1*E(4) \\
\end{alignat}</math>
 
Given a solution <math>Q</math> and <math>E</math> to this system of equations, it is evident that at any of the points <math>x = 1,2,3,4</math> one of the following must be true: either <math>Q(x_i) = E(x_i) = 0</math>, or <math>P(x_i) = {Q(x_i) \over E(x_i)} = y_i</math>. Since <math>E</math> is defined as only having a degree of one, the former can only be true in one point. Therefore, <math>P(x_i)</math> must equal <math>y_i</math> at the three other points.

Letting <math>E(x) = x + e_0</math> and <math>Q(x) = q_0 + q_1x + q_2x^2</math> and bringing <math>E(x)</math> to the left, we can rewrite the system thus: 
 
:<math>\begin{alignat}{10}
q_0 & + & q_1 & + & q_2 & - & 4e_0 & - & 4 & = & 0 \\
q_0 & + & 2q_1 & + & 4q_2 & - & 3e_0 & - & 6 & = & 0 \\
q_0 & + & 3q_1 & + & 9q_2 & - & 4e_0 & - & 12 & = & 0 \\
q_0 & + & 4q_1 & + & 16q_2 & - & e_0 & - & 4 & = & 0
\end{alignat}</math>

 
This system can be solved through [[Gaussian elimination]], and gives the values: 
 
:<math>q_0 = -15, q_1 = 8, q_2 = -1, e_0 = -3</math>
 
Thus, <math>Q(x) = -x^2 + 8x - 15, E(x) = x - 3</math>. Dividing the two gives: 
 
:<math>{Q(x) \over E(x)} = P(x) = 5-x</math>

 
<math>5-x</math> fits three of the four points given, so it is the most likely to be the original polynomial.

==See also==

*[[BCH code]]
*[[Berlekamp–Massey algorithm]]
*[[Reed–Solomon error correction]]

==References==

{{Reflist}}

==External links==
* [http://people.csail.mit.edu/madhu/FT02/ MIT Lecture Notes on Essential Coding Theory – Dr. Madhu Sudan]
* [http://www.cse.buffalo.edu/~atri/courses/coding-theory/fall07.html University at Buffalo Lecture Notes on Coding Theory – Dr. Atri Rudra]
* Algebraic Codes on Lines, Planes and Curves, An Engineering Approach – Richard E. Blahut
* Welch Berlekamp Decoding of Reed–Solomon Codes – L. R. Welch
* {{Citation
|inventor1-last= Welch
|inventor1-first= Lloyd R.
|inventor1link=Lloyd R. Welch
|inventor2-last= Berlekamp
|inventor2-first= Elwyn R.
|inventor2link= Elwyn Berlekamp
|title= Error Correction for Algebraic Block Codes
|country-code= US
|patent-number= 4,633,470
|publication-date= September 27, 1983
|issue-date= December 30, 1986
|doi=}} – The patent by Lloyd R. Welch and Elewyn R. Berlekamp

{{DEFAULTSORT:Berlekamp-Welch algorithm}}
[[Category:Finite fields]]
[[Category:Coding theory]]
[[Category:Information theory]]
[[Category:Error detection and correction]]

Spring system - Revision history

en>Ttime570: /* Simple example */ rm empty section of dubious value