Abstract: Let F_q be a finite field of order q with characteristic p. An arc is an ordered family of at least k vectors in (F_q)^k in which every subfamily of size k is a basis of (F_q)^k. The MDS conjecture, which was posed by Segre in 1955, states that if k <= q, then an arc in (F_q)^k has size at most q+1, unless q is even and k=3 or k=q-1, in which case it has size at most q+2. We propose a conjecture which would imply that the MDS conjecture is true for almost all values of k when q is odd. We prove our conjecture in two cases and thus give simpler proofs of the MDS conjecture when k <= p, and if q is not prime, for k <= 2p-2. To accomplish this, given an arc G of (F_q)^k and a nonnegative integer n, we construct a matrix M_G^{uparrow n}, which is related to an inclusion matrix, a well-studied object in combinatorics. Our main results relate algebraic properties of the matrix M_G^{uparrow n} to properties of the arc G and may provide new tools in the computational classification of large arcs.
Recommendations
Cites work
- scientific article; zbMATH DE number 4214822 (Why is no real title available?)
- scientific article; zbMATH DE number 53569 (Why is no real title available?)
- scientific article; zbMATH DE number 1795248 (Why is no real title available?)
- A diagonal form for the incidence matrices of t-subsets vs. k- subsets
- An elementary proof and an extension of Thas' theorem on k-arcs
- Curve razionali normali e \(k\)-archi negli spazi finiti
- Extending small arcs to large arcs
- Finite geometry and combinatorial applications
- Intersection theorems and mod \(p\) rank of inclusion matrices
- On MDS codes via Cauchy matrices
- On MDS extensions of generalized Reed- Solomon codes
- On sets of vectors of a finite vector space in which every subset of basis size is a basis
- On sets of vectors of a finite vector space in which every subset of basis size is a basis. II
- On the embedding of an arc into a conic in a finite plane
- Orbits of arcs in PG\((N,K)\) under projectivities
- Orthogonal Arrays of Index Unity
- The non-classical 10-arc of PG(4,9)
- Types of superregular matrices and the number of n‐arcs and complete n‐arcs in PG (r, q)
Cited in
(10)- On sets of vectors of a finite vector space in which every subset of basis size is a basis
- Planar arcs
- On arcs and quadrics
- An algebraic-coding equivalence to the maximum distance separable conjecture
- A note on MDS codes, \(n\)-arcs and complete designs
- On sets of vectors of a finite vector space in which every subset of basis size is a basis. II
- Nonstandard rank-one nonincreasing maps on symmetric matrices
- Extending small arcs to large arcs
- Sparse MDS matrices over small fields: a proof of the GM-MDS conjecture
- On the smallest size of an almost complete subset of a conic in \(\mathrm{PG}(2, q)\) and extendability of Reed-Solomon codes
This page was built for publication: Inclusion matrices and the MDS conjecture
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q727207)
