On Base , Normal and Near-normal Sequences

En el mundo silencioso y abstracto de la matemática combinatoria, los investigadores suelen buscar patrones ocultos dentro de simples listas de números. Imagine una larga fila de interruptores, cada uno configurado en "encendido" o "apagado". Si toma dos de estas filas y las compara, deslizando una sobre la otra, puede medir cuánto coinciden o chocan en cada paso. Esta medición se llama autocorrelación. Durante décadas, los matemáticos se han sentido fascinados por un rompecabezas específico: ¿es posible encontrar cuatro de estas filas de interruptores, dispuestas en dos pares de diferentes longitudes, de tal manera que al deslizarlas y sumar todas sus coincidencias y choques, el ruido total se cancele perfectamente a cero en todos lados excepto al puro inicio? Esta es la búsqueda de las "secuencias base".

Estas secuencias no son solo un juego de números; son los planos ocultos para construir un tipo especial de cuadrícula llamada matriz de Hadamard. Estas cuadrículas son herramientas vitales para la ingeniería y la física, utilizadas para crear señales que puedan viajar a través de entornos ruidosos sin distorsionarse, de forma muy similar a cómo una voz clara atraviesa una habitación concurrida. Cuanto más grande es la cuadrícula, más poderosa es la señal, pero encontrar la disposición adecuada de interruptores para construir estas cuadrículas se vuelve exponencialmente más difícil a medida que el tamaño aumenta. Durante años, los matemáticos tuvieron una fuerte corazonada, llamada conjetura, de que estos arreglos perfectos podrían encontrarse para cada tamaño posible, pero solo podían probarlo para tamaños hasta cierto punto.

Un equipo de investigadores de la Universidad de Información de Ciencia y Tecnología de Nanjing ha expandido las fronteras de esta búsqueda más allá de lo visto anteriormente. Desarrollaron un nuevo método, altamente eficiente, para cribar los miles de millones de combinaciones posibles de estas filas de interruptores. En lugar de intentar adivinar las cuatro filas a la vez, su algoritmo primero construye pares de filas que encajan entre sí, y luego busca las dos filas restantes para completar el conjunto. Utilizando este enfoque, construyeron con éxito estas secuencias perfectas para los tamaños 41, 42 y 43 por primera vez en la historia. Este logro confirma que la sospecha de larga data sobre la existencia de estas secuencias se cumple para todos los tamaños hasta el 43, extendiendo el territorio conocido de estas estructuras matemáticas.

Sin embargo, la historia da un giro sorprendente cuando los investigadores observaron dos versiones más estrictas de estas secuencias, conocidas como secuencias "casi normales". Para estas, existía una creencia similar de que podrían encontrarse para cada número par. El equipo realizó una búsqueda computacional exhaustiva para verificar esto para los siguientes números pares. Descubrieron que, si bien estas secuencias existen para muchos tamaños, simplemente no existen para los números 42 y 44. Este descubrimiento es significativo porque proporciona la primera prueba concreta de que la creencia sobre las secuencias casi normales es falsa. Es un momento raro en las matemáticas donde una idea largamente sostenida no solo no ha sido probada, sino que se demuestra explícitamente errónea al encontrar un caso específico donde falla.

Los investigadores también investigaron otra versión estricta llamada secuencias "normales". Demostraron matemáticamente que estas secuencias no pueden existir para un patrón específico de números, específicamente aquellos que son dos menos que un múltiplo de ocho. Su búsqueda computacional confirmó además que estas secuencias no existen para los números del 41 al 46. Si bien han construido con éxito las secuencias generales para los nuevos tamaños, la existencia de las versiones más estrictas para números mayores sigue siendo un misterio. El trabajo no solo añade nuevos ejemplos a una lista; redefine el panorama de lo que es posible, mostrando exactamente dónde los patrones se rompen y dónde continúan.

Las implicaciones de estos hallazgos repercuten hacia afuera en la construcción de las matrices de Hadamard mencionadas al principio. Dado que estas matrices son esenciales para crear sistemas de comunicación robustos y códigos de corrección de errores, saber exactamente qué tamaños se pueden construir y cuáles no es crucial. El nuevo algoritmo de los investigadores, que combina reglas matemáticas profundas con una búsqueda computacional poderosa, ofrece un camino claro a seguir. Permite a los científicos probar incluso tamaños más grandes con confianza, sabiendo que el método puede filtrar rápidamente las combinaciones imposibles. Aunque la cuestión de si estas secuencias existen para cada tamaño es ahora conocida por ser falsa para los tipos más estrictos, la búsqueda general continúa, con los investigadores habiendo despejado el camino para la próxima generación de descubrimientos en este intrincado campo.