Generalized Hamming weights of codes arising from complete intersection
Abstract
We provide a positive answer to a conjecture proposed by Tohǎneanu and Van Tuyl regarding the minimum distance of codes whose underlying set of points is a reduced complete intersection. Despite the technical nature of the conjecture, we show that it follows directly from a not-well-known refinement of the classical Bézout bound for overdetermined polynomial systems. For completeness, this paper presents a self-contained proof of this refined bound. Furthermore, we show that using the same approach, it is possible to obtain a bound on the generalized Hamming weights of such a code and, more generally, to control the minimum distance of the codes obtained by evaluating forms of degree $d$ on the points of a zero-dimensional complete intersection.
Disclosure
“, the conjecture is true by Theorem 2.5. Finally, for r = 1, Conjecture 3.1 is equivalent to CB12 in [5] for reduced complete intersections. Disclosure of AI usage We acknowledge the use of ChatGPT Pro 5.5 (OpenAI) in the early stages of this work. The AI suggested an initial proof strategy for the conjecture involving a weaker version of Proposition 2.1 and a projection argument. The final proof was independently simplified and exte”
PDF page 4
- Classification
- Proof ideas or individual proof-step assistance
- Multiplier
- 8
- Verified
Structural counts
Count notes
- Source counts use the expanded primary TeX file arxiv20082026.tex.
- Appendix pages include the first PDF page with an explicit Appendix heading through the final page.