On Base , Normal and Near-normal Sequences

No mundo silencioso e abstrato da matemática combinatória, pesquisadores frequentemente buscam padrões ocultos dentro de simples listas de números. Imagine uma longa fileira de interruptores, cada um configurado como "ligado" ou "desligado". Se você pegar duas dessas fileiras de interruptores e compará-las, deslizando uma sobre a outra, pode medir o quanto elas coincidem ou conflitam em cada etapa. Essa medição é chamada de autocorrelação. Por décadas, matemáticos têm se fascinado por um quebra-cabeça específico: você consegue encontrar quatro dessas fileiras de interruptores, organizadas em dois pares de comprimentos diferentes, de modo que, ao deslizar essas fileiras e somar todas as suas coincidências e conflitos, o ruído total se cancele perfeitamente em zero em todos os pontos, exceto no início? Esta é a busca pelas "sequências base".

Essas sequências não são apenas um jogo de números; elas são os projetos ocultos para a construção de um tipo especial de grade quadrada conhecida como matriz de Hadamard. Essas grades são ferramentas vitais para a engenharia e a física, usadas para criar sinais que podem viajar através de ambientes ruidosos sem serem distorcidos, tal como uma voz clara que atravessa uma sala barulhenta. Quanto maior a grade, mais poderosa é a transmissão, mas encontrar a configuração correta desses interruptores para construir essas grades torna-se exponencialmente mais difícil à medida que o tamanho aumenta. Durante anos, os matemáticos tiveram um forte palpite, chamado de conjectura, de que essas configurações perfeitas poderiam ser encontradas para cada tamanho possível, mas eles só conseguiam provar para tamanhos até um certo ponto.

Uma equipe de pesquisadores da Universidade de Ciência e Tecnologia da Informação de Nanjing expandiu agora as fronteiras dessa busca mais do que nunca. Eles desenvolveram um novo método altamente eficiente para filtrar entre os bilhões de combinações possíveis dessas fileiras de interruptores. Em vez de tentar adivinhar as quatro fileiras de uma só vez, seu algoritmo primeiro constrói pares de fileiras que se encaixam e, em seguida, busca as duas fileiras restantes para completar o conjunto. Usando essa abordagem, eles construíram com sucesso essas sequências perfeitas para os tamanhos 41, 42 e 43 pela primeira vez na história. Esse feito confirma que o palpite de longa data sobre a existência dessas sequências é verdadeiro para todos os tamanhos até 43, estendendo o território conhecido dessas estruturas matemáticas.

No entanto, a história toma um rumo surpreendente quando os pesquisadores observaram duas versões mais rigorosas dessas sequências, conhecidas como sequências "quase normais". Para estas, havia uma crença semelhante de que elas poderiam ser encontradas para todo número par. A equipe realizou uma busca computacional exaustiva para verificar isso para os próximos números pares. Eles descobriram que, embora essas sequências existam para muitos tamanhos, elas simplesmente não existem para os números 42 e 44. Essa descoberta é significativa porque fornece a primeira prova concreta de que a crença sobre as sequências quase normais é falsa. É um momento raro na matemática em que uma ideia de longa data não é apenas não provada, mas explicitamente demonstrada como errada ao encontrar um caso específico onde ela falha.

Os pesquisadores também investigaram outra versão mais rigorosa chamada sequências "normais". Eles provaram matematicamente que essas sequências não podem existir para um padrão específico de números, especificamente aqueles que são dois a menos que um múltiplo de oito. Sua busca computacional confirmou ainda mais que essas sequências não existem para os números de 41 a 46. Embora tenham construído com sucesso as sequências gerais para os novos tamanhos, a existência das versões mais rigorosas para números maiores permanece um mistério. O trabalho não apenas adiciona novos exemplos a uma lista; ele remodela o cenário do que é possível, mostrando exatamente onde os padrões quebram e onde eles continuam.

As implicações dessas descobertas repercutem para fora, na construção das matrizes de Hadamard mencionadas no início. Como essas matrizes são essenciais para a criação de sistemas de comunicação robustos e códigos de correção de erros, saber exatamente quais tamanhos podem ser construídos e quais não podem é crucial. O novo algoritmo dos pesquisadores, que combina regras matemáticas profundas com busca computacional poderosa, oferece um caminho claro a seguir. Ele permite que cientistas testem até mesmo tamanhos maiores com confiança, sabendo que o método pode filtrar combinações impossíveis rapidamente. Embora a questão de se essas sequências existem para cada tamanho individual seja agora conhecida como falsa para os tipos mais rigorosos, a busca geral continua, com os pesquisadores tendo limpado o caminho para a próxima geração de descobertas neste campo intrincado.