A new lower bound for the kissing number in 19 dimensions

Este artigo estabelece um novo limite inferior para o número de beijos em 19 dimensões, provando que ele é pelo menos 11.948, o que representa um aumento de 256 sobre o limite anterior de Cohn e Li, por meio de uma construção que combina o método de sinal ímpar com um código binário não linear explícito derivado do código de Golay estendido.

O essencial

Imagine que você está tentando encaixar o máximo possível de bolas de gude iguais ao redor de uma bola central, sem que elas se sobreponham. Em um mundo plano (2D), você consegue colocar 6 bolas ao redor de uma. Em 3D (como laranjas em uma caixa), são 12. Mas o que acontece se você tiver um universo com 19 dimensões? É aí que entra este artigo.

O autor, Boon Suan Ho, descobriu uma maneira de colocar mais bolas nesse espaço 19-dimensional do que os matemáticos sabiam antes. Ele aumentou o número mínimo de bolas que cabem ao redor da central de 11.692 para 11.948.

Aqui está a explicação de como ele fez isso, usando analogias do dia a dia:

1. O Problema: O "Quebra-Cabeça" das 19 Dimensões

Pense no espaço 19-dimensional como um quarto gigante e invisível. Você tem uma bola central e quer colocar outras bolas tocando nela. O desafio é que, quanto mais dimensões, mais difícil é saber exatamente quantas cabem sem se chocar. Os matemáticos já tinham uma "receita" (um método criado por Cohn e Li) para montar esse quebra-cabeça, mas a receita deles deixava alguns espaços vazios. Eles usaram um conjunto de regras (um código matemático) para preencher esses espaços, mas esse conjunto era um pouco pequeno.

2. A Solução: Encontrando um "Código Secreto" Melhor

Para encher mais espaços, Ho precisou de um novo conjunto de regras, chamado de código binário. Pense nesse código como uma lista de endereços secretos em um prédio gigante.

• A Regra de Ouro: Para que as bolas não se choquem, os endereços na lista devem estar "longe" uns dos outros (uma distância mínima de 5 passos).
• O Antigo Código: Os matemáticos anteriores tinham uma lista de 1.024 endereços válidos.
• O Novo Código: Ho encontrou uma lista muito maior, com 1.280 endereços.

3. Como ele construiu essa lista? (A Analogia da Torre de Blocos)

Ho não inventou tudo do zero. Ele usou uma estrutura de "blocos de montar" matemáticos chamada Códigos Aninhados. Imagine três caixas de tamanhos diferentes, uma dentro da outra:

1. A Caixa Pequena (M): É o alicerce. Contém 64 blocos básicos.
2. A Caixa Média (K): Encaixa a caixa pequena e adiciona mais blocos. Agora temos 16 grupos diferentes dentro dela.
3. A Caixa Grande (D): É o prédio inteiro. Contém 4 andares (ou cópias) da caixa média.

O Truque do "Gráfico Clebsch":
Dentro dessa estrutura, Ho olhou para um padrão específico (chamado de Gráfico Clebsch). Imagine um mapa de conexões onde alguns pontos estão ligados e outros não.

• Ele encontrou um grupo especial de 5 pontos nesse mapa que não estão ligados entre si (como 5 amigos que não têm inimigos em comum).
• Ele pegou esses 5 pontos e os "expandiu" usando a caixa pequena (M). Isso criou uma lista de 320 endereços válidos (5 pontos x 64 blocos).
• Depois, ele pegou essa lista de 320 e a multiplicou pelos 4 andares da caixa grande (D).
• Resultado: 320 x 4 = 1.280 endereços válidos.

4. O Resultado Final: Mais Bolas no Espaço

Ao usar essa nova lista de 1.280 endereços na "receita" original dos matemáticos, Ho conseguiu adicionar 1.280 bolas extras ao redor da central.

• Antes: 10.668 bolas + 1.024 extras = 11.692.
• Agora: 10.668 bolas + 1.280 extras = 11.948.

5. Um Detalhe Curioso: A Inteligência Artificial

No final do artigo, há uma nota muito interessante. O autor admite que usou uma Inteligência Artificial (chamada GPT-5.4 Pro) para descobrir essa construção matemática. Foi a IA quem sugeriu como combinar esses blocos de código para encontrar o padrão perfeito. O papel do autor foi verificar, organizar e explicar a descoberta.

Resumo em uma frase

O autor, ajudado por uma IA, encontrou uma maneira mais inteligente de organizar "endereços" matemáticos em um universo de 19 dimensões, permitindo que encaixássemos quase 300 bolas extras ao redor de uma central do que se imaginava possível antes.

Resumo técnico

Resumo Técnico: Novo Limite Inferior para o Número de Beijos em 19 Dimensões

1. O Problema

O número de beijos em $n$ dimensões, denotado por $k(n)$, é o número máximo de esferas unitárias não sobrepostas que podem tocar uma esfera unitária central no espaço euclidiano $\mathbb{R}^n$. Determinar valores exatos ou limites inferiores precisos para $k(n)$ é um problema clássico e difícil na geometria discreta.

Para a dimensão 19, o limite inferior conhecido anteriormente era $k(19) \ge 11.692$, estabelecido por Cohn e Li. O objetivo deste trabalho é superar esse limite construindo uma configuração de beijos mais densa.

2. Metodologia

A abordagem do autor combina a construção de sinal ímpar (odd-sign construction) de Cohn e Li com a descoberta de um código binário não linear explícito de tamanho superior ao usado anteriormente.

• Estrutura Base: A construção de Cohn e Li parte de uma configuração de beijos de 10.668 pontos em $\mathbb{R}^{19}$. Para adicionar mais vetores de beijo, eles utilizam códigos binários contidos no código de Golay binário estendido com 5 posições perfuradas (5-punctured extended binary Golay code).
• Requisito do Código: Qualquer código contido neste espaço de Golay perfurado, com distância mínima de pelo menos 5, contribui com um vetor de beijo adicional para cada palavra do código.
• Inovação do Autor: Enquanto Cohn e Li utilizaram um código linear de tamanho 1024, Ho constrói um código não linear de tamanho 1280.

Construção do Código (Passo a Passo):
O autor define uma cadeia de códigos aninhados $M \le K \le D$ dentro de $\mathbb{F}_2^{19}$:

1. Definição dos Espaços:
   • $M$: Um código linear gerado por 6 vetores ($m_1, \dots, m_6$), com tamanho $|M| = 64$.
   • $K$: Um código linear estendido gerado por $M$ mais 4 classes de vetores ($s_1, \dots, s_4$), resultando em $|K| = 64 \times 16 = 1024$.
   • $D$: O código completo (isomorfo ao código de Golay perfurado), gerado por $K$ mais 2 vetores ($r_1, r_2$), resultando em $|D| = 1024 \times 4 = 4096$.
2. Construção do Gráfico Quociente:
   • Considera-se o subconjunto $S \subset D$ contendo todas as palavras de peso 3 ou 4.
   • O gráfico quociente $K/M$ é identificado como o Gráfico de Clebsch.
   • As palavras de peso 3 ou 4 em $K$ formam 5 classes laterais não nulas de $M$ dentro de $K$.
3. Seleção do Conjunto Independente:
   • No Gráfico de Clebsch, o conjunto de 5 elementos correspondentes a essas classes laterais forma um 5-coclique (um conjunto independente de tamanho 5).
   • O pré-imagem desse conjunto em $K$ gera um código $B$ com $5 \times |M| = 320$palavras e distância mínima$\ge 5$.
4. Expansão Final:
   • O código final $A$ é formado pela união de $B$ e seus três translatos pelos vetores que definem as classes laterais de $K$ em $D$ ($r_1, r_2$).
   • Tamanho total: $|A| = 4 \times 320 = 1280$.
   • Verifica-se que a distância mínima de $A$ é exatamente 5.

3. Contribuições Principais

• Construção Explícita: Apresentação de um código binário não linear explícito de comprimento 19, tamanho 1280 e distância mínima 5, contido no código de Golay perfurado.
• Técnica Combinatória: Uso inteligente da estrutura do Gráfico de Clebsch e de códigos aninhados para extrair um conjunto independente máximo (coclique) que, quando levantado, maximiza o número de palavras no código final.
• Validação Computacional: Todas as afirmações sobre a estrutura do código (enumeração de 4096 palavras, verificação de pesos e distâncias) foram validadas computacionalmente, com scripts disponíveis publicamente.

4. Resultados

A aplicação deste novo código de 1280 palavras na construção de Cohn e Li resulta em um aumento de 1280 vetores de beijo adicionais à configuração base de 10.668 pontos.

O Teorema principal do artigo estabelece:
$$k(19) \ge 10.668 + 1.280 = 11.948$$

Portanto, o novo limite inferior para o número de beijos em 19 dimensões é 11.948, uma melhoria de 256 unidades sobre o limite anterior.

5. Significado e Relevância

• Avanço na Geometria Discreta: Este é um progresso significativo na determinação dos limites do problema de beijos, uma área onde melhorias são frequentemente pequenas e difíceis de obter.
• Papel da Não-Linearidade: O trabalho demonstra que códigos não lineares podem superar códigos lineares de mesma dimensão e distância mínima em contextos específicos de geometria de empacotamento, desafiando a preferência histórica por estruturas puramente lineares.
• Reprodutibilidade e IA: O artigo destaca o uso de ferramentas de Inteligência Artificial (GPT-5.4 Pro) para descobrir a construção e auxiliar na exposição, marcando um exemplo de como a IA pode contribuir para a pesquisa matemática pura. Além disso, a disponibilização dos dados e scripts no GitHub garante a transparência e verificabilidade dos resultados.

Em suma, o artigo fornece uma construção matemática rigorosa que expande o conhecimento atual sobre o empacotamento de esferas em dimensões elevadas, estabelecendo um novo marco para $k(19)$.