Construction of codes over a commutative non-unital ring from simplicial complexes and their applications

Resumen Técnico: Construcción de Códigos sobre un Anillo Conmutativo No Unitario a partir de Complejos Simpliciales y sus Aplicaciones

Planteamiento del Problema y Contexto
El artículo aborda la construcción de códigos lineales sobre anillos finitos, centrándose específicamente en un anillo conmutativo no unitario $I$ de orden $p^2$ y su extensión $S$ de grado $r$. Si bien los códigos lineales sobre cuerpos finitos y anillos unitarios están bien establecidos, el estudio de los códigos sobre anillos no unitarios es un desarrollo más reciente. Trabajos previos han explorado códigos cuasi autoduales y autoortogonales sobre anillos no unitarios, incluyendo el anillo no conmutativo $E$ de orden $p^2$. Este trabajo extiende la investigación al anillo conmutativo no unitario $I$ y su extensión $S$, con el objetivo de construir códigos con parámetros óptimos utilizando conjuntos definidores derivados de complejos simpliciales. El objetivo principal es determinar las distribuciones de peso, la minimalidad y la optimalidad de estos códigos, así como explorar sus aplicaciones en esquemas de intercambio de secretos, códigos localmente recuperables (LRCs) y la construcción de grafos fuertemente regulares.

Metodología
Los autores emplean el métio del conjunto definidor para construir códigos lineales sobre el anillo $S$.

1. Estructura del Anillo: El anillo $S$ se define como una extensión del anillo conmutativo no unitario $I = \langle a, b \mid pa=0, pb=0, a^2=b, ab=0 \rangle$. Los elementos en $S$ son de la forma $as + bt$ donde $s, t \in \mathbb{F}_q$ ($q=p^r$).
2. Construcción de Códigos: Se define un código lineal $C_D$ de longitud $|D|$ sobre $S$ utilizando un multiconjunto ordenado $D \subseteq S^m$ como el conjunto definidor:
   $$C_D = \{ (v \cdot d)_{d \in D} : v \in S^m \}$$
   donde el producto $v \cdot d$ se define mediante las reglas de multiplicación del anillo.
3. Complejos Simpliciales: Los conjuntos definidores $D$ se construyen utilizando complejos simpliciales $\Delta$ sobre $\mathbb{F}_q^m$. Específicamente, los autores consideran conjuntos de la forma $D = a\Delta_1 + b\Delta_2$, donde $\Delta_1$ y $\Delta_2$ son complejos simpliciales (potencialmente con múltiples elementos maximales) y sus complementos.
4. Análisis de Peso:
   • Peso de Lee: Se analiza el peso de Lee de los vectores codeword utilizando el mapa de Gray $\Phi: S \to \mathbb{F}_q^2$ definido por $\Phi(as+bt) = (t, s+t)$. El peso de Lee se calcula como el peso de Hamming de la imagen de Gray.
   • Códigos de tipo Subcampo: Se utiliza un mapa de proyección $\tau: S \to \mathbb{F}_q$ definido como $\tau(as+bt) = t$ para construir códigos de tipo subcampo $\tau(C_D)$ sobre $\mathbb{F}_q$.
5. Herramientas Analíticas: Los autores utilizan sumas de caracteres, el principio de inclusión-exclusión y propiedades de los complejos simpliciales (específicamente elementos maximales e sus intersecciones) para derivar distribuciones de peso y parámetros explícitos.

Contribuciones Clave y Resultados

1. Distribuciones de Peso y Parámetros Explícitos:
   El artículo determina las distribuciones de peso de Lee para los códigos lineales sobre $S$ donde los conjuntos definidores se forman mediante combinaciones de complejos simpliciales y sus complementos. Se analizan cinco casos distintos de conjuntos definidores ($D = a\Delta_1 + b\Delta_2$, $a\Delta_1 + b\Delta_2^c$, etc.).

   • Se establecen los parámetros (longitud, tamaño y distancia de Lee mínima) de los códigos lineales sobre $S$.
   • Se demuestra que las imágenes de Gray $\Phi(C_D)$ y los códigos de tipo subcampo $\tau(C_D)$ son códigos lineales sobre $\mathbb{F}_q$.
   • Se proporcionan distribuciones de peso explícitas para los casos donde los complejos simpliciales tienen un único elemento maximal, revelando que muchos de los códigos resultantes son de pocos pesos (específicamente de 1 o 2 pesos) y divisibles.

2. Minimalidad y Optimalidad:

   • Minimalidad: Se establecen condiciones suficientes bajo las cuales las imágenes de Gray y los códigos de tipo subcampo son minimales. Un código es minimal si cada vector no nulo cubre solo sus múltiplos escalares. Los autores derivan desigualdades que involucran los tamaños de los elementos maximales de los complejos simpliciales y el tamaño del cuerpo $q$ que garantizan la minimalidad.
   • Optimalidad: El artículo investiga la optimalidad de estos códigos con respecto a la cota de Griesmer. Varias familias de códigos se muestran como óptimas bajo condiciones específicas de los parámetros $m, |M|, |N|$, y $q$.

3. Autoortogonalidad:
   Se proporcionan condiciones para que las imágenes de Gray y los códigos de tipo subcampo sean euclidianos o hermitianos autoortogonales. Estas condiciones dependen de la divisibilidad de los pesos de los vectores codeword y de los valores específicos de $q$ (por ejemplo, $q=2, 3, 4$).

4. Aplicaciones:

   • Códigos Localmente Recuperables (LRCs): Los autores construyen familias de LRCs con localidad 2 y 3. Estos códigos se derivan de los códigos de tipo subcampo $\tau(C_D)$ seleccionando conjuntos definidores específicos relacionados con los elementos no nulos de los complejos simpliciales.
   • Esquemas de Intercambio de Secretos (SSS): Se determinan las estructuras de acceso mínimas de los esquemas de intercambio de secretos basados en los duales de los códigos minimales construidos. El artículo especifica el número de conjuntos de acceso mínimos y la frecuencia de participación de cada participante.
   • Grafos Fuertemente Regulares (SRGs): Aprovechando la correspondencia entre los códigos proyectivos de dos pesos y los SRGs, el artículo construye varias familias de grafos de Cayley fuertemente regulares. Los parámetros $(N, K, \lambda, \mu)$ de estos grafos se determinan explícitamente. Además, se muestra que los grafos complementarios de estos SRGs también son fuertemente regulares, con sus parámetros calculados explícitamente.

Significancia y Reivindicaciones
El artículo afirma avanzar en la teoría de códigos sobre anillos no unitarios aplicando con éxito el enfoque de complejos simpliciales al anillo conmutativo no unitario $I$ y su extensión $S$. La significancia radica en:

• Generar nuevas familias de códigos divisibles y de pocos pesos sobre cuerpos finitos a través de construcciones de imágenes de Gray y de tipo subcampo.
• Proporcionar criterios explícitos para que estos códigos sean minimales, óptimos y autoortogonales, los cuales son cruciales para aplicaciones en criptografía y combinatoria.
• Demostrar la versatilidad de la construcción al producir códigos adecuados para Códigos Localmente Recuperables (críticos para el almacenamiento distribuido) y Esquemas de Intercambio de Secretos (críticos para la distribución segura de datos).
• Establecer un vínculo directo entre estas construcciones algebraicas y los Grafos Fuertemente Regulares, proporcionando un método para generar SRGs con parámetros específicos a partir de principios de la teoría de códigos.

El trabajo no propone implementaciones experimentales ni extensiones teóricas futuras más allá del alcance de los códigos construidos y sus aplicaciones inmediatas. Se centra en la derivación algebraica de parámetros y la verificación de sus propiedades dentro del marco establecido de la teoría de códigos.