Given a primitive th root , a BCH code of design distance has a generator polynomial vanishing at consecutive powers .
The designed distance of a BCH code is the value specified by requiring consecutive defining zeros of a cyclic code. The BCH bound guarantees minimum Hamming distance at least , but the actual minimum Hamming distance can be larger. To prove equality, one can exhibit a nonzero codeword of Hamming weight exactly .
For odd , multiplication by two permutes the residues modulo . Its orbit through is the binary cyclotomic coset modulo an odd integer. If has order in a finite field whose field characteristic is two, the Frobenius automorphism sends to . Hence the minimal polynomial of an algebraic element over is . Its coefficients are fixed by Frobenius and lie in , and its degree is the orbit size. Thus a binary cyclic code containing one defining zero of a cyclic code must contain the full orbit as zeros.
For error locations in a cyclic code with primitive root , the error locator polynomial is . Its roots encode the error positions.
A Chien search finds error positions by evaluating an error locator polynomial at every possible inverse location value . A zero identifies coordinate . Using the recurrence between successive powers of avoids recomputing all monomials from scratch.
For errors at distinct nonzero locations , the evaluator associated with syndromes is . Its degree is smaller than the number of errors. Together with the error locator polynomial it gives the Reed-Solomon key equation and the Forney algorithm for error magnitudes.
For distinct error locations and the syndrome convention , the displayed formula recovers the error magnitudes from the error evaluator polynomial and error locator polynomial. At , the evaluator is , whereas the locator's formal derivative is . Their quotient gives the formula; the denominator is nonzero because the locations are distinct.
// Target: polynomial.bigb
The minimum distance of a BCH code is at least its design distance. A hypothetical word of smaller weight yields a square Vandermonde system from the consecutive-root equations; its support elements are distinct, so the determinant is nonzero and every word coefficient must vanish.

Articles by others on the same topic (1)

BCH (Bose–Chaudhuri–Hocquenghem) codes are a class of error-correcting codes that are used in digital communication and storage to detect and correct multiple random error patterns in data. These codes are named after the three researchers who developed them in the 1960s: Raj Chandra Bose, Alexis Hocquenghem, and D. R. McEliece, who contributed to their understanding and application.