Shortest LCD embeddings of binary, ternary and quaternary linear codes

Planteamiento del Problema
Los códigos lineales con duales complementarios (códigos LCD) son un área de investigación significativa en la teoría de códigos, particularmente debido a su resistencia a ataques de canal lateral e inyección de fallos. Si bien se sabe que todo código lineal sobre $\mathbb{F}_q$ ($q \ge 4$) es equivalente a un código LCD, y existen resultados similares para $\mathbb{F}_{q^2}$, los límites para las distancias mínimas de los códigos LCD sobre $\mathbb{F}_2$, $\mathbb{F}_3$ y los códigos LCD hermitianos sobre $\mathbb{F}_4$ siguen siendo desconocidos para muchas longitudes y dimensiones. Un desafío central en la teoría de códigos es determinar la mayor distancia mínima para una longitud y dimensión dadas. Este artículo aborda el problema específico de incrustar códigos lineales arbitrarios en códigos LCD, con el objetivo de encontrar la incrustación más "corta" (aumento mínimo de longitud) y utilizar este método para construir nuevos códigos LCD óptimos en distancia.

Metodología
Los autores introducen un enfoque sistemático para incrustar un código lineal dado $C$ en un código LCD $\tilde{C}$ añadiendo el número mínimo de columnas a su matriz generadora. La metodología procede de la siguiente manera:

1. Fundamento Teórico: El artículo establece que el número mínimo de columnas ($m$) requerido para incrustar un código $[n, k]$ en un código LCD es exactamente igual a la dimensión $\ell$ del hull del código $C$ (donde $\text{Hull}(C) = C \cap C^\perp$). En consecuencia, la longitud de la incrustación LCD más corta es $n + \ell$.
2. Caracterización Estructural: Los autores caracterizan la matriz generadora de una incrustación LCD más corta. Si $G$ es una matriz generadora de $C$ descompuesta en una parte que genera el hull, $G(\text{Hull}(C))$, y una parte restante $A$, entonces una incrustación LCD más corta está generada por una matriz de la forma:
   $$\tilde{G} = \begin{bmatrix} G(\text{Hull}(C)) & D \\ A & C \end{bmatrix}$$
   donde $D$ es una matriz $\ell \times \ell$ invertible y $C$ es una matriz $\ell \times (k-\ell)$ arbitraria. El artículo demuestra que anexar una matriz invertible a las filas correspondientes al hull y una matriz arbitraria a las filas restantes siempre produce una incrustación LCD más corta.
3. Estrategia de Construcción: Los autores aplican este método de incrustación a códigos lineales conocidos (específicamente códigos ternarios y cuaternarios) que no son LCD por sí mismos. Al calcular la dimensión del hull de estos códigos existentes y anexar las columnas necesarias según la estructura derivada, generan nuevos códigos LCD.

Contribuciones Clave y Resultados
El artículo proporciona tanto límites teóricos como construcciones concretas:

• Resultados Teóricos:

  • Demuestra que la longitud de la incestación LCD más corta de un código $[n, k]$ con dimensión de hull $\ell$ es $n + \ell$.
  • Caracteriza todas las formas posibles de matrices generadoras para estas incrustaciones más cortas, mostrando que son equivalentes a anexar una matriz invertible a las filas que generan el hull.
  • Demuestra que la longitud de la incrustación LCD más corta de un código $C$ es idéntica a la de su hull, $\text{Hull}(C)$.

• Nuevas Construcciones de Códigos:
  Utilizando el método de incrustación LCD más corto en códigos lineales existentes, los autores construyeron varios nuevos códigos LCD con parámetros que mejoran las distancias mínimas conocidas:

  • Códigos LCD Ternarios:
    • $[23, 4, 14]$: Mejora la distancia mínima conocida de 13 a 14.
    • $[23, 5, 12]$: Mejora la distancia mínima conocida de 11 a 12.
    • $[24, 6, 12]$: Mejora la distancia mínima conocida de 11 a 12.
    • $[25, 5, 14]$: Mejora la distancia mínima conocida de 13 a 14.
  • Código LCD Hermitiano Cuaternario:
    • $[21, 10, 8]$: Mejora la distancia mínima conocida de 7 a 8.

Los autores señalan que para los nuevos parámetros $[23, 4, 14]$ y $[23, 5, 12]$, encontraron 226 y 38 códigos inequivalentes, respectivamente. Estos códigos son óptimos en distancia e inequivalentes a los actualmente presentes en la base de datos BKLC (Best Known Linear Codes).

Significancia
El artículo afirma que el método de incrustación LCD más corto es una herramienta útil para encontrar códigos LCD óptimos en distancia sobre varios campos. Al determinar el número preciso de columnas necesarias y caracterizar su estructura, el método proporciona una vía constructiva para mejorar la distancia mínima de los códigos lineales conocidos cuando se convierten en LCD. Los resultados demuestran que este enfoque logra con éxito la obtención de nuevos códigos con distancias mínimas una unidad mayores que las de los códigos previamente conocidos para parámetros ternarios y cuaternarios específicos.

Limitaciones y Direcciones Futuras
Los autores reconocen una limitación en su enfoque: dado que el espacio de búsqueda para las matrices invertibles y arbitrarias anexadas es excesivamente grande, es difícil garantizar el hallazgo de la incrustación específica que produzca la mayor distancia mínima absoluta para un código dado. Sugieren que la investigación futura debería centrarse en desarrollar métodos para seleccionar las matrices anexadas de manera más estratégica para maximizar la distancia mínima resultante o para determinar si las matrices anexadas pueden restringirse más mediante equivalencia para reducir el espacio de búsqueda.