On additive MDS codes with linear projections

Resumen Técnico de "On additive MDS codes with linear projections"

Planteamiento del Problema
El artículo investiga las propiedades estructurales de los códigos MDS (Máxima Distancia Separable) aditivos sobre cuerpos finitos. Específicamente, aborda la cuestión de si los códigos MDS aditivos largos son necesariamente equivalentes a códigos lineales. Mientras que la conjetura MDS postula que para los códigos lineales la longitud $n$ está acotada por $q+1$ (con excepciones específicas), el comportamiento de los códigos aditivos (que son lineales sobre un subcuerpo pero no necesariamente sobre el cuerpo completo) es menos comprendido. Los autores pretenden proporcionar evidencia que respalde la hipótesis de que los códigos MDS aditivos suficientemente largos sobre $\mathbb{F}_{q^h}$, que poseen ciertas proyecciones de tipo "lineal", deben ser ellos mismos equivalentes a códigos lineales (o al menos lineales sobre un subcuerpo mayor).

Metodología y Marco de Trabajo
Los autores utilizan un enfoque geométrico establecido en el trabajo previo [BGL22], vinculando los códigos aditivos con objetos geométricos conocidos como pseudo-arcos.

1. Correspondencia Geométrica: Un código $\mathbb{F}_q$-lineal de longitud $n$ y dimensión $k$ sobre $\mathbb{F}_{q^h}$ corresponde a un sistema proyectivo $h$-sistema en $PG(k-1, q)$. El código es MDS si y solo si este sistema es un pseudo-arco (un conjunto de subespacios donde cualesquiera $k$ generan el espacio).
2. Criterio de Equivalencia Lineal: Un código es equivalente a un código lineal si y solo si su $h$-sistema proyectivo está contenido dentro de un spread Desarguesiano.
3. Análisis de Proyección: El método central consiste en analizar las proyecciones del código (y del pseudo-arco correspondiente) desde posiciones de coordenadas específicas. Los autores aprovechan resultados conocidos sobre pseudo-arcos y cuadrángulos generalizados de traslación (por ejemplo, resultados de Penttila, Van de Voorde y otros) que establecen que, si las proyecciones de un pseudo-arco se encuentran en un spread Desarguesiano, el arco mismo a menudo también lo está.
4. Caracterización Algebraica: Para las demostraciones, los autores expresan el código MDS en una "forma estándar" definida por una aplicación $\mathbb{F}_q$-lineal $f$. Analizan las condiciones bajo las cuales el hecho de que las proyecciones sean lineales fuerza a los polinomios definitorios del código a ser monomios o semi-lineales, implicando así la linealidad del código.

Contribuciones Clave y Resultados
El artículo establece dos teoremas principales que proporcionan condiciones suficientes para que un código MDS aditivo sea equivalente a un código lineal:

• Teorema 1.1 (Caso $k=3$):
  Sea $C$ un código MDS $\mathbb{F}_q$-lineal $(n, q^{3h}, n-2)_{q^h}$. Si $n$ es suficientemente grande (específicamente $n \ge 2q+3$ para $h=2$, y $n \ge q^2+3+\delta_{2,q}$ para $h=3$) y $C$ tiene tres coordenadas tales que las proyecciones desde estas coordenadas son equivalentes a códigos lineales, entonces $C$ es él mismo equivalente a un código lineal.

  • Estrategia de Demostración: Esto se basa en el Lema 5.10, que reduce el problema a demostrar que pares de polinomios linealizados invertibles $(f, g)$ que satisfacen una propiedad específica (Prop$_m$) deben ser monomios. La demostración utiliza matrices de Dickson y argumentos de rango para mostrar que, para un $m$ grande, los polinomios deben tener coeficientes cero, forzándolos a ser monomios.

• Teorema 1.2 (Caso $k>3$):
  Sea $C$ un código MDS $\mathbb{F}_q$-lineal $(n, q^{hk}, n-k+1)_{q^h}$ con $k > 3$. Si existen dos subconjuntos disjuntos de coordenadas $A$ y $B$ tales que $|A| + |B| \le k-2$, y las proyecciones de $C$ desde $A$ y $B$ son equivalentes a códigos lineales, y $n > q+k$, entonces $C$ es equivalente a un código lineal sobre un campo más grande $\mathbb{F}_{q^s}$ (donde $s$ es un divisor de $h$).

  • Refinamiento: Si $n$ es aún mayor ($n > q^e + k$, donde $e$ es el mayor divisor propio de $h$), entonces $C$ es equivalente a un código lineal sobre $\mathbb{F}_{q^h}$.
  • Estrategia de Demostración: La demostración construye un código en forma estándar y utiliza la linealidad de las proyecciones para derivar restricciones sobre los polinomios definitorios. Demuestra que la existencia de dos conjuntos de proyecciones lineales disjuntos fuerza a la aplicación definitoria a ser semi-lineal sobre un subcuerpo, lo que eventualmente implica la linealidad total bajo las restricciones de longitud.

Significancia y Reivindicaciones
Los autores presentan estos resultados como "cierta evidencia" para la conjetura más amplia de que los códigos MDS aditivos largos son equivalentes a códigos lineales.

• Puente entre Geometría y Teoría de Códigos: El artículo traduce con éxito resultados geométricos sobre pseudo-arcos y spreads Desarguesianos (específicamente el Resultado 4.4 de [BGL22]) en teoremas concretos de la teoría de códigos relativos a códigos MDS aditivos.
• Extensión de Resultados Conocidos: El trabajo extiende hallazgos previos (como el Resultado 4.6) que estaban limitados a casos específicos (por ejemplo, $h=2$). El Teorema 1.1 generaliza estos para $h=3$ y proporciona un marco unificado para $k=3$.
• Rigurosidad de las Cotas: El artículo reconoce que las cotas sobre $n$ en los teoremas probablemente no son ajustadas. Proporciona una construcción de contraejemplo (Lema 5.8) que muestra que, si la longitud $n$ es demasiado pequeña (específicamente cerca de la cota $n_q(k)$), se pueden construir códigos MDS aditivos no lineales que aún poseen proyecciones lineales. Esto resalta la necesidad de la suposición de "código largo" en sus teoremas.

El artículo concluye señalando que, aunque los resultados apoyan la conjetura, la existencia de pseudo-arcos no contenidos en spreads Desarguesianos sigue siendo una cuestión geométrica abierta, y las demostraciones algebraicas dependen de cotas específicas para la longitud de los códigos.