An -MDS code is a collection of distinct -tuples, called codewords, over an alphabet of size , satisfying the following condition: no two codewords of agree in as many as coordinate positions. The importance of these MDS codes is that they satisfy the Singleton bound of coding theory, that is, they are codes of length , containing codewords, and whose minimal distance is equal to .
Linear -MDS codes over the finite field of order are equivalent to -arcs in PG and to -arcs in PG. This geometrical link to arcs has made it possible to prove many results on linear MDS codes. In particular, great attention has been paid to the problem of the extendability of -arcs in PG to -arcs in PG; in this way studying the problem of the extendability of the corresponding -MDS codes to -MDS codes.
In some cases, the non-extendability of linear -MDS codes to linear -MDS codes is known. But could these codes be extended to non-linear MDS codes of length ?
The authors contribute to this particular extendability problem. They obtain new results by using new geometrical links. The new links are with Rédei-type blocking sets.
Consider an affine plane of order , with line at infinity. Let be the projective plane defined by and . A Rédei-type blocking set of , w.r.t. the line , is a set consisting of points of , together with the intersection points of all secants to with the line .
These Rédei-type blocking sets in PG have been studied in great detail by A. Blokhuis, S. Ball, A.E. Brouwer, L. Storme and T. Szőnyi [J. Comb. Theory, Ser. A 86, No. 1, 187–196 (1999; Zbl 0945.51002)] and S. Ball [J. Comb. Theory, Ser. A 104, No. 2, 341–350 (2003; Zbl 1045.51004)]. Let be the smallest size for the intersection of a Rédei-type blocking set , different from a line, w.r.t. .
To illustrate the link between the extendability problem of linear MDS codes and Rédei-type blocking sets of PG, we mention the following result: Let be a linear -MDS code, with . Then any arbitrary extension of to an MDS code of length must be linear.
We also wish to mention with respect to Section 7.1 the results of L. Storme and J. A. Thas [J. Comb. Theory, Ser. A 62, No. 1, 139–154 (1993; Zbl 0771.51006)] on arcs in PG, even.