🔢 mathematics

Classification of ternary maximal self-orthogonal codes of length 25

Este artículo presenta una clasificación completa de códigos ternarios auto-ortogonales maximales de longitud 25, ampliando resultados previos que abarcaban longitudes hasta 24.

Autores originales: Makoto Araya, Masaaki Harada

Publicado 2026-05-14

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Makoto Araya, Masaaki Harada

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un arquitecto maestro tratando de construir el conjunto perfecto de planos. En el mundo de las matemáticas, específicamente en un campo llamado teoría de códigos, estos "planos" se llaman códigos. Se utilizan para enviar mensajes (como texto o imágenes) a través del universo sin que se distorsionen por estática o errores.

Este artículo trata sobre un tipo específico de plano llamado Código Ternario Máximo Auto-ortogonal. Suena complicado, así que desglosémoslo en una historia simple sobre un club muy estricto.

El Escenario: Un Club con Reglas Estrictas

Imagina un club donde los miembros están formados por números. Este club tiene tres reglas específicas:

El Idioma: Todos hablan un idioma con solo tres palabras: 0, 1 y 2. (Esta es la parte "Ternaria").
La Longitud: Cada miembro debe tener exactamente 25 números en su tarjeta de identificación. (Esta es la parte "Longitud 25").
La Regla "Auto-ortogonal": Esta es la regla más importante del club. Es como una "prueba de espejo". Si tomas cualquier par de miembros del club y comparas sus tarjetas de identificación, deben estar perfectamente "desincronizados" de una manera matemática. Si mezclas sus números, el resultado debe ser siempre cero. En lenguaje llano: Ningún par de miembros puede ser demasiado similar. Deben ser lo suficientemente distintos para cancelarse mutuamente.

El Objetivo: Encontrar el Club "Máximo"

Los autores de este artículo querían encontrar cada versión posible de este club que sea Máxima.

Máximo significa que el club está tan lleno como es posible. No puedes agregar un solo nuevo miembro al club sin romper la regla de la "prueba de espejo". Si intentas agregar una nueva persona, inevitablemente será demasiado similar a alguien que ya está dentro.

Así que, la misión fue: ¿De cuántas maneras diferentes puedes construir este club perfecto y lleno de miembros de 25 números, donde todos son únicos y siguen las reglas estrictas?

El Desafío: Una Aguja en un Pajar Cósmico

El número de combinaciones posibles es astronómicamente enorme. Es como intentar encontrar cada posible disposición de una baraja de cartas, pero la baraja tiene 25 cartas, y cada carta puede ser de uno de tres colores.

Para resolver esto, los autores no solo adivinaron. Utilizaron un método de construcción inteligente:

La Analogía de los Ladrillos: Comenzaron con clubes más pequeños y conocidos (códigos de longitud 24).
La Extensión: Intentaron "alargar" estos clubes más pequeños agregando un número extra al final de la tarjeta de identificación de cada miembro.
El Filtro: Verificaron cada nueva posibilidad para ver si aún seguía las reglas. Si lo hacía, la conservaban. Si rompía las reglas, la descartaban.

También utilizaron una "Fórmula de Masa", que es como un truco contable matemático. Es una forma de verificar su trabajo. Imagina que tienes un frasco gigante de canicas. No las cuentas una por una; en su lugar, pesas el frasco y sabes exactamente cuántas canicas hay dentro basándote en el peso de una sola canica. Los autores utilizaron esta fórmula para demostrar que no se habían perdido ningún club y que no habían contado ninguno dos veces.

El Gran Descubrimiento

Después de ejecutar estos cálculos en supercomputadoras, los autores encontraron la respuesta:

Hay exactamente 139,613 maneras diferentes de construir este club perfecto de longitud 25.

No se detuvieron solo en el número total; los categorizaron según lo "fuerte" que es el club. En la teoría de códigos, la "fuerza" se mide por el peso mínimo (cuántos números distintos de cero tiene un miembro).

Los Clubes Más Fuertes: 26 de estos clubes son increíblemente robustos (peso mínimo 9).
Los Clubes Medianos: 118,984 clubes son de fuerza media (peso mínimo 6).
Los Clubes Más Débiles: 20,603 clubes son los menos robustos pero aún válidos (peso mínimo 3).

¿Por Qué Importa Esto?

El artículo concluye que este trabajo completa un rompecabezas masivo. Los matemáticos han estado clasificando estos clubes para longitudes de 3 hasta 24 durante años. Este artículo completa la pieza final para la longitud 25.

Piénsalo como un museo. Durante años, los curadores habían exhibido cada artefacto único desde tamaños 3 hasta 24. Este artículo agrega toda la colección de tamaño 25 a la exhibición, asegurando que el museo ahora esté completo para ese rango específico.

Los autores también miraron hacia el futuro, utilizando sus matemáticas para adivinar cuántos clubes podrían existir para longitudes 26, 27, 28, 29 y 30. Descubrieron que los números crecen muy rápido (miles de millones y billones), lo que sugiere que clasificar esos tamaños futuros será un desafío aún mayor.

En resumen: Este artículo es un catálogo definitivo. Nos dice exactamente cuántos grupos únicos, que cumplen las reglas y máximos de códigos de 25 números existen, completando un proyecto de clasificación matemática de larga data.

Resumen Técnico: Clasificación de Códigos Ternarios Autoortogonales Máximos de Longitud 25

Planteamiento del Problema
El artículo aborda la clasificación de códigos ternarios autoortogonales máximos. Un código ternario $C$ sobre el cuerpo $\mathbb{F}_3$ es autoortogonal si $C \subseteq C^\perp$ . Se denomina máximo si no está contenido propiamente en ningún otro código autoortogonal. Aunque los códigos autoortogonales máximos de longitudes hasta 24 habían sido clasificados previamente, el caso para la longitud $n=25$ permanecía abierto. Específicamente, los autores tienen como objetivo clasificar todos los códigos ternarios autoortogonales máximos inequivalentes de longitud 25, los cuales necesariamente tienen dimensión $k=12$ (dado que $n$ es impar, la dimensión es $(n-1)/2$ ).

Metodología
La clasificación emplea un enfoque constructivo basado en las operaciones de acortamiento y alargamiento, combinado con pruebas rigurosas de equivalencia y verificación mediante la fórmula de masa.

Construcción por Alargamiento: Los autores utilizan la inversa de la operación de acortamiento. Construyen códigos ternarios autoortogonales máximos $[25, 12]$ extendiendo códigos ternarios autoortogonales $[24, 11]$ . Dada una matriz generadora para un código $[24, 11]$ , se añade un nuevo vector columna $b$ para formar un código $[25, 12]$ . El vector $b$ debe satisfacer condiciones específicas de peso y ortogonalidad: $\text{wt}(b) \ge d-1$ , $\text{wt}(b) \equiv 2 \pmod 3$ , y $Ab^T = 0$ , donde $A$ es la parte de paridad de la matriz generadora. Para evitar redundancia, solo se consideran vectores donde el primer componente no nulo es 1.
Códigos Fuente: La construcción se basa en dos fuentes distintas:
- Distancia Dual 1: Códigos derivados directamente de códigos ternarios autoduales $[24, 12]$ conocidos mediante la adición de una coordenada cero.
- Distancia Dual > 1: Códigos derivados de la clasificación completa de códigos ternarios autoortogonales $[24, 11]$ . Estos subcódigos fueron enumerados extrayéndolos de todos los códigos ternarios autoduales $[24, 12]$ inequivalentes.
Pruebas de Equivalencia: Para determinar si dos códigos construidos son equivalentes, los autores emplean un enfoque de isomorfismo de grafos. Construyen digrafos coloreados por vértices $\Gamma_{W(C)}(C)$ basados en las palabras del código de pesos específicos (típicamente peso 9, 12 o 24). Las pruebas de isomorfismo y el cálculo del grupo de automorfismos se realizan utilizando el software nauty y Magma.
Verificación de la Fórmula de Masa: La completitud de la clasificación se verifica utilizando la fórmula de masa para códigos ternarios autoortogonales. La suma de $2^n n! / |\text{Aut}(C)|$ sobre todos los códigos inequivalentes encontrados se compara contra el total teórico $T(n, k)$ .

Resultados Clave
El artículo establece el siguiente teorema:

Teorema 1: Existen exactamente 139.613 códigos ternarios autoortogonales máximos $[25, 12]$ $[25, 12]$ inequivalentes.
- Distribución del Peso Mínimo:
  - 26 códigos tienen peso mínimo $d=9$ .
  - 118.984 códigos tienen peso mínimo $d=6$ .
  - 20.603 códigos tienen peso mínimo $d=3$ .
Subclasificación:
- Los autores proporcionan una clasificación completa de códigos ternarios autoortogonales $[24, 11]$ , encontrando 1.373 códigos con $d=9$ , 2.745.294 con $d=6$ y 339.492 con $d=3$ .
- La fórmula de masa se verificó exitosamente tanto para la clasificación $[24, 11]$ como para la $[25, 12]$ , confirmando que no se omitió ningún código.
Grupos de Automorfismos: Se proporcionan tablas detalladas que listan los órdenes de los grupos de automorfismos para los códigos $[25, 12]$ resultantes, categorizados por sus pesos mínimos.

Significado y Afirmaciones
El significado principal de este trabajo es la finalización de la clasificación de códigos ternarios autoortogonales máximos para todas las longitudes $n$ hasta 25. Los autores señalan que este resultado es una consecuencia directa de la clasificación previa de códigos ternarios autoduales de longitud 24.

Además, el artículo deriva cotas inferiores no ajustadas para el número de códigos ternarios autoortogonales máximos inequivalentes para las longitudes $n=26$ hasta $n=30$ utilizando la fórmula de masa. Específicamente, establece que $N(26) \ge 757.009.213$ y $N(30) \ge 4,9 \times 10^{15}$ .

Finalmente, los autores identifican una aplicación específica de su clasificación: sirve como base para un proyecto futuro destinado a completar la clasificación de matrices de ponderación de orden 25 y peso 9, utilizando métodos aplicados previamente a la longitud 24. La lista completa de códigos está disponible electrónicamente a través de un repositorio universitario.

El Escenario: Un Club con Reglas Estrictas

El Objetivo: Encontrar el Club "Máximo"

El Desafío: Una Aguja en un Pajar Cósmico

El Gran Descubrimiento

¿Por Qué Importa Esto?

Más como este