🔢 mathematics

Classification of ternary maximal self-orthogonal codes of length 25

Este artigo apresenta uma classificação completa dos códigos ternários maximais auto-ortogonais de comprimento 25, estendendo resultados anteriores que cobriam comprimentos até 24.

Autores originais: Makoto Araya, Masaaki Harada

Publicado 2026-05-14

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Makoto Araya, Masaaki Harada

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um arquiteto mestre tentando construir o conjunto perfeito de plantas baixas. No mundo da matemática, especificamente em um campo chamado teoria dos códigos, essas "plantas baixas" são chamadas de códigos. Eles são usados para enviar mensagens (como texto ou imagens) através do universo sem que sejam distorcidas por ruídos ou erros.

Este artigo trata de um tipo específico de planta baixa chamado Código Ternário Maximal Auto-Ortogonal. Isso soa como um grande nome, então vamos decompor isso em uma história simples sobre um clube muito rigoroso.

O Cenário: Um Clube com Regras Estritas

Imagine um clube onde os membros são feitos de números. Este clube tem três regras específicas:

A Linguagem: Todos falam uma língua com apenas três palavras: 0, 1 e 2. (Esta é a parte "Ternária").
O Comprimento: Cada membro deve ter exatamente 25 números em seu cartão de identificação. (Esta é a parte "Comprimento 25").
A Regra "Auto-Ortogonal": Esta é a regra mais importante do clube. É como um "teste de espelho". Se você pegar quaisquer dois membros do clube e comparar seus cartões de identificação, eles devem estar perfeitamente "fora de sincronia" de uma maneira matemática. Se você misturar seus números juntos, o resultado deve ser sempre zero. Em português claro: Dois membros não podem ser muito semelhantes. Eles devem ser distintos o suficiente para se anularem mutuamente.

O Objetivo: Encontrar o Clube "Maximal"

Os autores deste artigo queriam encontrar todas as versões possíveis deste clube que sejam Maximais.

Maximal significa que o clube está tão cheio quanto é possível. Você não pode adicionar um único novo membro ao clube sem quebrar a regra do "teste de espelho". Se você tentar adicionar uma nova pessoa, ela inevitavelmente será muito semelhante a alguém já dentro.

Portanto, a missão era: De quantas maneiras diferentes você pode construir este clube perfeito e cheio de membros de 25 números, onde todos são únicos e seguem as regras estritas?

O Desafio: Uma Agulha em um Palheiro Cósmico

O número de combinações possíveis é astronomicamente enorme. É como tentar encontrar cada arranjo possível de um baralho de cartas, mas o baralho tem 25 cartas, e cada carta pode ser de uma de três cores.

Para resolver isso, os autores não apenas adivinharam. Eles usaram um método de construção inteligente:

A Analogia do Lego: Eles começaram com clubes menores e conhecidos (códigos de comprimento 24).
A Extensão: Eles tentaram "alargar" esses clubes menores adicionando um número extra ao final do cartão de identificação de cada membro.
O Filtro: Eles verificaram cada nova possibilidade para ver se ainda seguia as regras. Se seguia, eles a mantinham. Se quebrava as regras, eles a descartavam.

Eles também usaram uma "Fórmula de Massa", que é como um truque contábil matemático. É uma maneira de verificar seu trabalho. Imagine que você tem um pote gigante de bolinhas de gude. Você não as conta uma por uma; em vez disso, você pesa o pote e sabe exatamente quantas bolinhas estão dentro com base no peso de uma única bolinha. Os autores usaram essa fórmula para provar que não haviam perdido nenhum clube e não haviam contado nenhum duas vezes.

A Grande Descoberta

Após executar esses cálculos em supercomputadores, os autores encontraram a resposta:

Existem exatamente 139.613 maneiras diferentes de construir este clube perfeito de comprimento 25.

Eles não pararam apenas no número total; eles os categorizaram com base na "força" do clube. Na teoria dos códigos, a "força" é medida pelo peso mínimo (quantos números não nulos um membro possui).

Os Clubes Mais Fortes: 26 desses clubes são incrivelmente robustos (peso mínimo 9).
Os Clubes Médios: 118.984 clubes são de força média (peso mínimo 6).
Os Clubes Mais Fracos: 20.603 clubes são os menos robustos, mas ainda válidos (peso mínimo 3).

Por Que Isso Importa?

O artigo conclui que este trabalho completa um enorme quebra-cabeça. Matemáticos vêm classificando esses clubes para comprimentos de 3 até 24 há anos. Este artigo preenche a peça final para o comprimento 25.

Pense nisso como um museu. Por anos, curadores exibiram cada artefato único dos tamanhos 3 até 24. Este artigo adiciona toda a coleção de tamanho 25 à exposição, garantindo que o museu esteja agora completo para essa faixa específica.

Os autores também olharam para o futuro, usando sua matemática para adivinhar quantos clubes podem existir para os comprimentos 26, 27, 28, 29 e 30. Eles descobriram que os números crescem muito rapidamente (bilhões e trilhões), sugerindo que classificar esses tamanhos futuros será um desafio ainda maior.

Em resumo: Este artigo é um catálogo definitivo. Ele nos diz exatamente quantos grupos únicos, que seguem as regras e maximais de códigos de 25 números existem, completando um projeto de classificação matemática de longa data.

Resumo Técnico: Classificação de Códigos Ternários Maximalmente Auto-ortogonais de Comprimento 25

Enunciado do Problema
O artigo aborda a classificação de códigos ternários maximalmente auto-ortogonais. Um código ternário $C$ sobre o corpo $\mathbb{F}_3$ é auto-ortogonal se $C \subseteq C^\perp$ . É denominado maximal se não estiver propriamente contido em nenhum outro código auto-ortogonal. Embora códigos maximalmente auto-ortogonais de comprimentos até 24 já tivessem sido classificados anteriormente, o caso para comprimento $n=25$ permanecia em aberto. Especificamente, os autores visam classificar todos os códigos ternários maximalmente auto-ortogonais inequivalentes de comprimento 25, que necessariamente possuem dimensão $k=12$ (uma vez que $n$ é ímpar, a dimensão é $(n-1)/2$ ).

Metodologia
A classificação emprega uma abordagem construtiva baseada nas operações de encurtamento e alongamento, combinadas com testes rigorosos de equivalência e verificação por fórmula de massa.

Construção por Alongamento: Os autores utilizam o inverso da operação de encurtamento. Eles constroem códigos ternários maximalmente auto-ortogonais $[25, 12]$ estendendo códigos ternários auto-ortogonais $[24, 11]$ . Dada uma matriz geradora para um código $[24, 11]$ , um novo vetor coluna $b$ é anexado para formar um código $[25, 12]$ . O vetor $b$ deve satisfazer condições específicas de peso e ortogonalidade: $\text{wt}(b) \ge d-1$ , $\text{wt}(b) \equiv 2 \pmod 3$ e $Ab^T = 0$ , onde $A$ é a parte de paridade da matriz geradora. Para evitar redundância, apenas vetores onde o primeiro componente não nulo é 1 são considerados.
Códigos Fonte: A construção depende de duas fontes distintas:
- Distância Dual 1: Códigos derivados diretamente de códigos ternários auto-duais conhecidos $[24, 12]$ pela adição de uma coordenada zero.
- Distância Dual > 1: Códigos derivados da classificação completa de códigos ternários auto-ortogonais $[24, 11]$ . Esses subcódigos foram enumerados extraindo-os de todos os códigos ternários auto-duais inequivalentes $[24, 12]$ .
Teste de Equivalência: Para determinar se dois códigos construídos são equivalentes, os autores empregam uma abordagem de isomorfismo de grafos. Eles constroem digrafos coloridos por vértices $\Gamma_{W(C)}(C)$ baseados nas palavras-código de pesos específicos (tipicamente peso 9, 12 ou 24). O teste de isomorfismo e o cálculo do grupo de automorfismos são realizados utilizando os softwares nauty e Magma.
Verificação por Fórmula de Massa: A completude da classificação é verificada usando a fórmula de massa para códigos ternários auto-ortogonais. A soma de $2^n n! / |\text{Aut}(C)|$ sobre todos os códigos inequivalentes encontrados é comparada com o total teórico $T(n, k)$ .

Principais Resultados
O artigo estabelece o seguinte teorema:

Teorema 1: Existem exatamente 139.613 códigos ternários maximalmente auto-ortogonais $[25, 12]$ $[25, 12]$ inequivalentes.
- Distribuição de Peso Mínimo:
  - 26 códigos possuem peso mínimo $d=9$ .
  - 118.984 códigos possuem peso mínimo $d=6$ .
  - 20.603 códigos possuem peso mínimo $d=3$ .
Subclassificação:
- Os autores fornecem uma classificação completa de códigos ternários auto-ortogonais $[24, 11]$ , encontrando 1.373 códigos com $d=9$ , 2.745.294 com $d=6$ e 339.492 com $d=3$ .
- A fórmula de massa foi verificada com sucesso tanto para as classificações $[24, 11]$ quanto para as $[25, 12]$ , confirmando que nenhum código foi omitido.
Grupos de Automorfismo: Tabelas detalhadas são fornecidas listando as ordens dos grupos de automorfismo para os códigos $[25, 12]$ resultantes, categorizados por seus pesos mínimos.

Significância e Alegações
A principal significância deste trabalho é a conclusão da classificação de códigos ternários maximalmente auto-ortogonais para todos os comprimentos $n$ até 25. Os autores observam que este resultado é uma consequência direta da classificação anterior de códigos ternários auto-duais de comprimento 24.

Além disso, o artigo deriva limites inferiores não apertados para o número de códigos ternários maximalmente auto-ortogonais inequivalentes para comprimentos $n=26$ até $n=30$ usando a fórmula de massa. Especificamente, estabelece-se que $N(26) \ge 757.009.213$ e $N(30) \ge 4,9 \times 10^{15}$ .

Finalmente, os autores identificam uma aplicação específica de sua classificação: ela serve como base para um projeto futuro para completar a classificação de matrizes de pesagem de ordem 25 e peso 9, utilizando métodos previamente aplicados ao comprimento 24. A lista completa de códigos está disponível eletronicamente através de um repositório universitário.

O Cenário: Um Clube com Regras Estritas

O Objetivo: Encontrar o Clube "Maximal"

O Desafio: Uma Agulha em um Palheiro Cósmico

A Grande Descoberta

Por Que Isso Importa?

Mais como este