A Hadamard Cube of Order 22

Nos cantos silenciosos da matemática, existe um enigma sobre o equilíbrio perfeito. Imagine uma grade de números, onde cada célula contém um sinal de mais ou de menos. O objetivo é organizar esses sinais para que nenhuma duas linhas ou colunas jamais colidam; elas devem ser perfeitamente distintas, como duas pessoas que nunca concordam em uma única opinião. Quando tal grade é encontrada, ela é chamada de matriz de Hadamard. Essas estruturas não são apenas curiosidades abstratas; elas são a espinha dorsal dos códigos de correção de erros que mantêm nossas comunicações digitais claras e os sinais das sondas do espaço profundo protegidos contra o desaparecimento no ruído. Por décadas, os matemáticos souberam como construir essas grades para muitos tamanhos, mas uma lacuna persistente permanecia. Eles conseguiam construí-las para tamanhos que são múltiplos de quatro, e para alguns números ímpares específicos, mas uma classe inteira de tamanhos — aqueles que são dois a mais que um múltiplo de quatro — permanecia amplamente um mistério. Entre esses tamanhos esquivos, o número vinte e dois destacou-se como o caso mais pequeno e mais obstinado que ninguém fora capaz de resolver.

Uma equipe de pesquisadores finalmente preencheu essa lacuna, apresentando uma solução concreta para uma grade de tamanho vinte e dois. O trabalho deles não para em uma folha plana e bidimensional. Em vez disso, eles construíram um objeto tridimensional, um cubo feito de vinte e duas camadas empilhadas umas sobre as outras. Cada camada é uma grade de vinte e dois por vinte e dois sinais, e toda a estrutura é projetada de modo que, se você fatiar o objeto em qualquer uma das três direções — horizontalmente, verticalmente ou na profundidade — as fatias resultantes sejam todas perfeitamente equilibradas entre si. Isso é uma conquista significativa porque prova que tal estrutura complexa e multicamadas pode existir para este tamanho específico, embora uma versão plana e mais simples do mesmo tamanho seja conhecida por ser impossível. Os pesquisadores não apenas alegaram que ela existe; eles escreveram todo o objeto, listando cada um dos sinais em cada uma das camadas, fornecendo um mapa completo da solução.

A jornada para esta descoberta começou com o reconhecimento de um problema de longa data. Tentativas anteriores de construir essas grades tridimensionais tiveram sucesso para muitos tamanhos, mas todas falharam quando atingiram o vinte e dois. Os pesquisadores sabiam que uma grade plana, bidimensional, deste tamanho não poderia existir, um fato estabelecido por provas anteriores. Isso significava que o novo objeto deles teria que ser fundamentalmente diferente em sua natureza; não poderia ser uma simples extensão das grades planas que eles costumavam usar. Eles se propuseram a encontrar uma configuração onde a ortogonalidade, ou a perfeita falta de conflito, se mantivesse em três dimensões simultaneamente. Isso exigiu uma busca através de uma vasta paisagem de possibilidades, uma tarefa grande demais para um humano verificar manualmente.

Para navegar neste imenso espaço, a equipe recorreu a uma poderosa ferramenta computacional. Eles usaram um sistema de inteligência artificial para guiar a busca, ajudando a filtrar as inúmeras maneiras pelas quais os sinais poderiam ser organizados. O computador não apenas adivinhava; ele seguia um caminho rigoroso, verificando o equilíbrio das camadas à medida que avançava. Uma vez que o sistema propunha um candidato, os pesquisadores o verificavam diretamente contra as regras estritas do problema. Eles verificavam se cada fatia, não importa como fosse cortada, mantinha o equilíbrio exigido. O resultado foi um exemplo completo e explícito de um cubo de Hadamard tridimensional de ordem vinte e dois. O artigo apresenta este objeto em sua totalidade, exibindo as vinte e duas camadas distintas, cada uma uma enorme grade de sinais de mais e de menos, escritas integralmente.

A significância desta descoberta reside em sua especificidade e em suas limitações. Os pesquisadores mostraram que uma estrutura tridimensional deste tamanho é possível, mas também destacaram uma fronteira. Como uma grade plana, bidimensional, de tamanho vinte e dois não pode existir, o novo objeto deles não pode ser uma simples grade plana estendida na terceira dimensão. É um tipo genuinamente novo de estrutura, uma que depende da dimensão extra para alcançar o equilíbrio que é impossível em duas dimensões. O artigo não faz a afirmação de que este método resolverá o problema para todos os outros tamanhos ausentes, nem sugere uma nova maneira de construir grades planas. É uma prova sólida e específica de que este caso particular e obstinado foi resolvido. O trabalho permanece como um registro de um objeto matemático específico, um testemunho do poder de combinar a percepção humana com a busca computacional para encontrar ordem em um espaço que anteriormente parecia caótico.

A peça final do quebra-cabeça é o próprio objeto. É um cubo de sinais, vinte e dois unidades de largura, vinte e duas unidades de altura e vinte e duas unidades de profundidade. Dentro dele, existem vinte e duas camadas, cada uma contendo quatrocentos e oitenta e quatro sinais. Os pesquisadores listaram cada um desses sinais, desde a primeira camada até a última. Se alguém tomasse uma fatia pelo meio deste cubo, ou o cortasse pela lateral, os padrões resultantes seriam perfeitamente distintos uns dos outros, nunca se sobrepondo de forma a quebrar as regras. Esta listagem explícita serve como a prova definitiva; o objeto está lá, totalmente formado, esperando para ser examinado. É um lembrete de que, mesmo nos domínios mais abstratos da matemática, a resposta pode às vezes ser encontrada simplesmente escrevendo tudo, um sinal de cada vez.