pith. sign in

arxiv: 2604.23594 · v1 · submitted 2026-04-26 · 💻 cs.IT · math.IT

On the Minimum Distances of Some Families of BCH Codes

Yaqi Chen , Hao Chen , Cunsheng Ding , Huimin Lao This is my paper

Pith reviewed 2026-05-08 05:24 UTC · model grok-4.3

classification 💻 cs.IT math.IT
keywords BCH codesminimum distancedesigned distanceerror locator polynomialscyclic codesnarrow-sense BCH codesprimitive BCH codesnon-primitive BCH codes
0
0 comments X

The pith

Explicit constructions of locator polynomials establish that the minimum distance equals the designed distance for multiple infinite families of BCH codes.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

BCH codes are cyclic error-correcting codes whose exact minimum distance is difficult to pin down beyond the lower bound given by the designed distance. This paper constructs explicit error-locator polynomials that identify the support of minimum-weight codewords for many parameter choices. The constructions cover infinite families of both primitive and non-primitive narrow-sense BCH codes over finite fields. As a direct result, the true minimum distance is shown to equal the designed distance δ in each of these families. The same technique also settles one arithmetic-progression case of an earlier conjecture on the distance of a specific one-parameter family of BCH codes.

Core claim

By explicitly constructing the locator polynomials for minimum weight codewords, we obtain many families of primitive and non-primitive BCH codes with d=δ. For primitive BCH codes we obtain infinite families over F3 and F4 satisfying d=δ where δ belongs to {5,6,7,8}. We also construct several infinite families of q-ary BCH codes with d=δ for 2≤δ≤q-1. For δ=q^t+1 we prove that the BCH code C_{(q,q^m-1,q^t+1,1)} has d=δ for all m satisfying m≡0 mod pt. This confirms the conjecture that the minimum distance equals the Bose distance in the indicated case. For non-primitive BCH codes we construct the family C_{(q,(q^p-1)/λ,p+1,1)} with d=p+1 where p is an odd prime, q=p^e with p not dividing e, λ

What carries the argument

Explicitly constructed error-locator polynomials that generate minimum-weight codewords satisfying the BCH code's parity-check conditions.

If this is right

  • Infinite families of primitive BCH codes over F3 and F4 have exact minimum distance δ for each δ in {5,6,7,8}.
  • Infinite families of q-ary BCH codes satisfy d=δ whenever 2≤δ≤q-1.
  • The specific family C_{(q,q^m-1,q^t+1,1)} has minimum distance exactly q^t+1 for every m that is a multiple of p t.
  • The non-primitive family C_{(q,(q^p-1)/λ,p+1,1)} has minimum distance exactly p+1 for every admissible odd prime p, extension degree e, and divisor λ.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same locator-polynomial technique may resolve exact distances for additional designed-distance values or for BCH codes that are not narrow-sense.
  • The partial confirmation of the conjecture for m congruent to 0 modulo p t suggests checking whether the equality continues to hold when m fails that congruence.
  • Codes whose exact distance is now known can be used to compute precise error-correction radii in storage and communication systems without relying on the conservative BCH bound.

Load-bearing premise

The constructed locator polynomials correspond to actual codewords of weight exactly δ for all the stated ranges of field size, length, and designed distance, without hidden exceptions or extra constraints that appear only for large parameters.

What would settle it

Discovery of even one codeword of weight strictly less than δ in any of the families claimed to satisfy d=δ, for example by exhaustive enumeration for small m or by exhibiting a lower-weight word whose locator polynomial contradicts the construction for some large admissible m.

read the original abstract

BCH codes form an important class of cyclic codes, which have applications in communication and data storage systems. Although the BCH bound provides a lower bound on the minimum distance of BCH codes, determining the true minimum distances of BCH codes is a very challenging problem. In this paper, we settle the minimum distances of a number of infinite families of narrow-sense BCH codes. By explicitly constructing the locator polynomials for minimum weight codewords, we obtain many families of primitive and non-primitive BCH codes with $d=\delta$, where $d$ is the minimum distance of a $q$-ary BCH code of length $n$, designed distance $\delta$, and offset $b$, denoted by $\mathbf{C}_{(q, n, \delta, b)}$. For primitive BCH codes, we obtain infinite families of BCH codes over $\mathbb{F}_3$ and $\mathbb{F}_4$ satisfying $d=\delta$, where $\delta \in \{5,6,7,8\}$. Moreover, we construct several infinite families of $q$-ary BCH codes with $d=\delta$, where $2 \le \delta \le q-1$. For $\delta=q^t+1$, we prove that the BCH code $\mathbf{C}_{(q, q^m-1, q^t+1, 1)}$ has $d=\delta$ for all $m$ satisfying $m \equiv 0 \pmod{pt}$, where $p$ denotes the characteristic of $\mathbb{F}_q$. In the paper by Ding et al., IEEE Trans. Inf. Theory 61(5): 2351-2356, it was conjectured that the minimum distance of $\mathbf{C}_{(q, q^m-1, q^t+1, 1)}$ is always equal to its Bose distance $d_B$. Our result confirms this conjecture for the case $m \equiv 0 \pmod{pt}$. For non-primitive BCH codes, we construct a family of BCH codes $\mathbf{C}_{(q,\frac{q^p-1}{\lambda},p+1,1)}$ with $d=\delta=p+1$, where $p$ is an odd prime, $q=p^e$ with $p \nmid e$ and $\lambda \mid q-1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 4 minor

Summary. The paper claims to settle the minimum distances of several infinite families of narrow-sense BCH codes by explicitly constructing the error-locator polynomials of minimum-weight codewords. For primitive codes it obtains d=δ over F3 and F4 for δ∈{5,6,7,8}, several families with 2≤δ≤q−1, and the family C_{(q,q^m−1,q^t+1,1)} with d=δ whenever m≡0 (mod pt), thereby confirming the Ding et al. conjecture in that arithmetic-progression case. For non-primitive codes it constructs the family C_{(q,(q^p−1)/λ,p+1,1)} with d=p+1 under the stated conditions on p, q and λ.

Significance. If the constructions are correct, the results are significant: they furnish infinite families of BCH codes for which the BCH bound is tight, a comparatively rare situation. The direct algebraic construction of locator polynomials (rather than parameter fitting or exhaustive search) supplies explicit, verifiable codewords and therefore constitutes a strong, falsifiable contribution. Confirmation of the conjecture for the arithmetic case m≡0 (mod pt) is a concrete advance. The work is well-aligned with the standard toolkit of cyclic-code theory and should be of interest to both theorists and practitioners of error-correcting codes.

minor comments (4)
  1. §2 (Notation): the definition of the narrow-sense BCH code C_{(q,n,δ,1)} is standard, but the paper should explicitly recall that the parity-check matrix is formed by the first δ−1 consecutive powers of a primitive nth root of unity; this would make the subsequent locator-polynomial arguments self-contained for readers outside coding theory.
  2. Theorem 3.2 (primitive F3/F4 families): the statement that the constructed polynomials have degree exactly δ and lie in the dual code is central; a short sentence confirming that the roots satisfy the BCH parity-check equations for the given δ would strengthen the exposition without lengthening the proof.
  3. §4 (non-primitive family): the condition λ | q−1 is used to guarantee that the length (q^p−1)/λ is an integer; the paper should add one sentence explaining why this divisibility also ensures that the constructed locator polynomial is consistent with the cyclotomic cosets of the non-primitive code.
  4. References: the citation to Ding et al. (IEEE Trans. Inf. Theory 61(5):2351–2356) is given, but the paper should also cite the original BCH papers and at least one recent survey on the determination of exact distances of BCH codes to place the new families in context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our work. The referee's summary correctly reflects the paper's contributions: explicit constructions of error-locator polynomials that establish d = δ for several infinite families of narrow-sense BCH codes, including the confirmation of the Ding et al. conjecture in the arithmetic-progression case m ≡ 0 (mod pt). No major comments were raised in the report, so we have no specific points requiring rebuttal or revision at this stage. We remain available to address any minor editorial suggestions the editor may identify.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives its minimum-distance results via explicit constructions of locator polynomials that produce codewords of weight exactly δ for the targeted families (primitive BCH codes over F3/F4 with δ=5..8, the δ=q^t+1 case when m≡0 mod pt, and the non-primitive family of length (q^p-1)/λ). These constructions are algebraic and parameter-free with respect to the target distance; they are combined with the standard BCH bound to conclude d=δ. The partial confirmation of the Ding et al. conjecture is obtained by the same direct method rather than by invoking the conjecture itself. No step reduces by definition, by fitting, or by a load-bearing self-citation chain to the claimed result. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The results rest on standard properties of finite fields, cyclotomic cosets, and the definition of BCH codes; no new entities or fitted parameters are introduced in the abstract.

axioms (1)
  • standard math Standard algebraic properties of finite fields and cyclotomic cosets used to define BCH codes and locator polynomials
    Invoked throughout the constructions of minimum-weight codewords for the stated parameter sets.

pith-pipeline@v0.9.0 · 5744 in / 1345 out tokens · 43195 ms · 2026-05-08T05:24:05.584339+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the Minimum Distances of Some Families of Goppa Codes and BCH Codes

    cs.IT 2026-04 unverdicted novelty 7.0

    A necessary and sufficient criterion is provided for Goppa codes to attain minimum distance equal to their designed distance, leading to exact distances for multiple infinite families of such codes and BCH codes.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper

  1. [1]

    S. A. Aly, A. Klappenecker and P.K. Sarvepalli, On quantum and classical BCH codes, IEEE Trans. Inf. Theory vol. 53, no. 3, pp. 1183–1188, 2007

    work page 2007

  2. [2]

    D. Augo, P. Charpin and N. Sendrier, Studying the locator polynomials of minimum weight codewords of BCH codes, IEEE Trans. Inf. Theory vol. 38, no. 3, pp. 960–973, 1992

    work page 1992

  3. [3]

    Augot and N

    D. Augot and N. Sendrier, Idempotents and the BCH bound, IEEE Trans. Inf. Theory vol. 40, no. 1, pp. 204–207, 1994

    work page 1994

  4. [4]

    Bose and D.K

    R.C. Bose and D.K. Ray-Chaudhuri, On a class of error correcting binary group codes. Inf. Control vol. 3, no. 1, pp. 68–79 , 1960

    work page 1960

  5. [5]

    Bose and D.K

    R.C. Bose and D.K. Ray-Chaudhuri, Further results on error correcting binary group codes. Inf. Control vol. 3, no. 3, pp. 279-290, 1960

    work page 1960

  6. [6]

    Betten, M

    A. Betten, M. Braun, H. Fripertinger, A. Kerber, A. Kohnert, and A. Wassermann, Error-Correcting Linear Codes. Berlin, Germany: Springer-Verlag, 2006

    work page 2006

  7. [7]

    Berlekamp, The weight enumerator of certain subcodes of the second order binary Reed-Muller codes, Inf

    E.R. Berlekamp, The weight enumerator of certain subcodes of the second order binary Reed-Muller codes, Inf. Control, vol. 17, pp. 485–500, 1970

    work page 1970

  8. [8]

    C. Ding, X. Du, and Z. Zhou, The Bose and minimum distance of a class of BCH codes. IEEE Trans. Inf. Theory vol. 61, no. 5, pp. 2351–2356, 2015

    work page 2015

  9. [9]

    Ding and C

    C. Ding and C. Li, BCH cyclic codes. Discrete Mathematics, vol. 347, no. 5, 2024, Art. no. 113918

    work page 2024

  10. [10]

    Grassl: Bounds on the minimum distance of linear codes and quantum codes, [Online]

    M. Grassl: Bounds on the minimum distance of linear codes and quantum codes, [Online]. http://www.codetables.de. Accessed 1 December 2025

    work page 2025

  11. [11]

    Hocquenghem, Codes correcteurs d’erreurs, Chiffres 2, pp

    A. Hocquenghem, Codes correcteurs d’erreurs, Chiffres 2, pp. 147–156, 1959

    work page 1959

  12. [12]

    Huffman and V

    W.C. Huffman and V. Pless, Fundamentals of Error-Correcting Codes. Cambridge University Press, Cambridge, 2003

    work page 2003

  13. [13]

    Kasami and S

    T. Kasami and S. Lin, Some results on the minimum weight of primitive BCH codes (Corresp.), IEEE Trans. Inf. Theory, vol. 18, no. 6, pp. 824–825, 1972

    work page 1972

  14. [14]

    Li, The minimum distance of some narrow-sense primitive BCH codes, SIAM J

    S. Li, The minimum distance of some narrow-sense primitive BCH codes, SIAM J. Discret. Math. vol. 31, no. 4, pp. 2530–2569, 2017

    work page 2017

  15. [15]

    S. Li, C. Li, C. Ding, H. Liu, Two families of LCD BCH codes, IEEE Trans. Inf. Theory, vol. 63, no. 9, pp. 5699–5717, 2017. 21

    work page 2017

  16. [16]

    MacWilliams and N

    F. MacWilliams and N. Sloane, The Theory of Error-Correcting Codes, North Hol- land, Amsterdam, 1977

    work page 1977

  17. [17]

    W. W. Peterson, Some new results on finite fields with applications to BCH codes, in Combinatorial Mathematics and Its Applications, R. C. Bose and T. A. Dowling, Eds. Chapel Hill, NC, USA: Univ. North Carolina Press, 1969

    work page 1969

  18. [18]

    Prange, Cyclic error-correcting codes in two symbols

    E. Prange, Cyclic error-correcting codes in two symbols. Technical Report TN-57-

    work page

  19. [19]

    Air Force Cambridge Research Center, Cambridge, 1957

    work page 1957

  20. [20]

    E. A. Rawashdeh, A simple method for finding the inverse matrix of Vandermonde matrix, Mat. Vesn, vol. 71, pp. 207–213, 2019

    work page 2019

  21. [21]

    Shany and A

    Y. Shany and A. Berman, The generating idempotent is a minimum-weight codeword for some binary BCH codes, IEEE Trans. Inf. Theory, vol. 71, no. 3, pp. 1700–1704, 2025

    work page 2025

  22. [22]

    H. Xu, X. Wu, W. Lu and X. Cao, The sufficient and necessary conditions for the minimum distance of the BCH codeC(q, q+ 1,3, h) to be 3 and 4, IEEE Trans. Inf. Theory, vol. 71, no. 6, pp. 4206-4213, 2025

    work page 2025

  23. [23]

    H. Xu, X. Wu, W. Lu and X. Cao, The minimum distance of the antiprimitive BCH code with designed distance 3, arXiv preprint arXiv:2505.04315, 2025. 22

    work page arXiv 2025