Improved Lower Bounds on the Minimum Distances of the Dual Codes of Primitive Narrow-Sense BCH Codes

In coding theory, the well-known class of block codes, Bose-Chaudhuri-Hocquenghem codes (BCH codes), form a class of cyclic error-correcting codes constructed using polynomials over a finite field. They are used for various critical practical applications in communication and storage due to their efficient encoding and decoding algorithms. In the past sixty years, significant progress has been made in understanding BCH codes’ dimensions and minimum distances. However, there has been limited research on the minimum distances of the dual codes of BCH codes, making it challenging to determine their actual minimum distances. Therefore, developing accurate lower bounds on the minimum distances of the dual codes of BCH codes is crucial and exciting. In this paper, we primarily use the multiplier technique proposed by Huffman and Pless to investigate the lower bounds on minimum distances of the dual codes <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\mathcal {C}_{(q,q^{m}-1,\delta)}^{\perp } $ </tex-math></inline-formula> of the primitive narrow-sense BCH codes with designed distance <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\delta $ </tex-math></inline-formula>. When <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$q = p^{e}$ </tex-math></inline-formula> with <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$e \ge 2$ </tex-math></inline-formula>, we improve the lower bounds on minimum distances of the dual codes <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\mathcal {C}_{(q,q^{m}-1,\delta)}^{\perp } $ </tex-math></inline-formula> in the ranges <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$p^{ei}-p^{e-1}+2 \le \delta \le p^{ei+e-1}-p^{e-1}+1$ </tex-math></inline-formula>, where <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$m \ge 2$ </tex-math></inline-formula> and <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$1 \le i \le m-1$ </tex-math></inline-formula>. These new lower bounds are much tighter than the previously known bounds in the literature. This technique also applies to the study of binary dual codes <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\mathcal {C}_{(2,2^{m}-1,\delta)}^{\perp } $ </tex-math></inline-formula>, for which we obtain tight lower bounds for <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\delta = 2^{t}$ </tex-math></inline-formula>, where <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$m \ge 5$ </tex-math></inline-formula> is odd and <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$2 \le t \le m-3$ </tex-math></inline-formula> is even.