A complex Hadamard matrix of order 94

Each language version is independently generated for its own context, not a direct translation.

Imagina que estás intentando resolver un rompecabezas matemático gigante, pero en lugar de piezas de cartón, las piezas son números. Específicamente, números que solo pueden ser 1 o -1 (como un interruptor encendido o apagado).

Este artículo, escrito por el matemático Ferenc Szöllősi, trata sobre cómo encajar estas piezas para crear una estructura perfecta llamada Matriz de Hadamard Compleja.

Aquí tienes la explicación sencilla, paso a paso:

1. ¿Qué es este "rompecabezas"?

En matemáticas, una Matriz de Hadamard es como una cuadrícula de números donde, si tomas cualquier dos filas y las comparas, son "independientes" entre sí (no se repiten ni se contradicen). Esto es muy útil para cosas como el diseño de experimentos, la corrección de errores en las comunicaciones y la criptografía.

El problema: Llevamos décadas intentando encontrar estas matrices perfectas para tamaños específicos. Para un tamaño de 94 (que es $2 \times 47$), nadie había logrado construir una hasta ahora. Era como si faltara una pieza clave en un rompecabezas de 94 piezas.

2. La vieja receta que no funcionaba

Antes de este descubrimiento, los matemáticos usaban una receta famosa llamada el Método de Williamson. Imagina que esta receta te pedía cuatro "ingredientes" especiales (matrices simétricas) para cocinar el plato final.

El problema: Para el tamaño 47 (que es necesario para llegar al 94), se descubrió que esos ingredientes especiales no existían. Era como intentar hornear un pastel sin harina. Los matemáticos intentaron durante años encontrarlos, pero no había rastro de ellos.

3. La nueva idea: Cambiar la receta

El autor del artículo tuvo una idea brillante: "¿Y si cambiamos la receta?".
En lugar de exigir que los cuatro ingredientes sean idénticos y simétricos (como pedía la vieja receta), él modificó la fórmula para permitir que solo dos de ellos fueran simétricos, mientras que los otros dos podían ser un poco más "caóticos" (pero con una estructura especial llamada circulante).

La analogía: Imagina que construías una casa. La vieja regla decía: "Tienes que usar 4 ladrillos idénticos". Como no encontraste 4 ladrillos idénticos, no podías construir la casa. Szöllősi dijo: "¡Espera! Si uso 2 ladrillos idénticos y 2 vigas de madera especiales que encajan perfectamente con los ladrillos, la casa sigue siendo sólida".

4. La búsqueda con ayuda de la computadora

Como la nueva receta requería encontrar esos ingredientes específicos (dos matrices simétricas y dos circulantes) que encajaran en una ecuación muy compleja, hacerlo a mano era imposible. Era como buscar una aguja en un pajar, pero el pajar era más grande que todo el universo conocido.

El proceso: El autor escribió un programa de computadora (un algoritmo de búsqueda) que actuó como un "detective digital".
- Generó millones de combinaciones posibles de números.
- Usó un sistema de "huellas dactilares" (hashes) para descartar rápidamente las combinaciones que no servían.
- Después de más de 8 mil millones de intentos y usando mucha memoria de computadora, ¡lo logró!

5. El gran descubrimiento

El programa encontró dos conjuntos de números (llamados Ejemplo 1 y Ejemplo 2 en el texto) que funcionaban perfectamente con la nueva receta.

Al combinar estos números con la nueva fórmula modificada, se construyó por primera vez en la historia una Matriz de Hadamard Compleja de orden 94.

¿Por qué es importante?

Piensa en esto como si hubieras descubierto un nuevo tipo de ladrillo que permite construir puentes más fuertes o códigos de seguridad más difíciles de hackear.

Antes, el tamaño 94 era un "agujero negro" en las matemáticas: sabíamos que debía existir, pero no sabíamos cómo hacerlo.
Ahora, gracias a esta nueva "receta" y a la búsqueda computacional, hemos llenado ese agujero.

En resumen:
El autor no encontró los ingredientes que todos buscaban (los ladrillos simétricos perfectos), así que cambió las reglas del juego para usar ingredientes diferentes que sí existían, y usó una computadora súper rápida para encontrar la combinación exacta. ¡Y así, por primera vez, se pudo construir la estructura matemática del número 94!

Each language version is independently generated for its own context, not a direct translation.

A continuación presento un resumen técnico detallado del artículo "A COMPLEX HADAMARD MATRIX OF ORDER 94" de Ferenc Szöllősi, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda la construcción de matrices de Hadamard complejas de orden $2p $, donde$ p $es un número primo impar. Específicamente, el foco está en el caso$ p=47$, lo que resulta en una matriz de orden 94.

Contexto: Una matriz de Hadamard real $H$ de orden $n$ es una matriz $\{-1, 1\}$ tal que $HH^T = nI_n$ . Las matrices de Hadamard complejas generalizan esto permitiendo entradas en $\{-1, -i, 1, i\}$ con filas ortogonales complejas.
La dificultad: Históricamente, se utilizaba el método de Williamson, que requiere cuatro matrices circulantes simétricas $\{-1, 1\}$ de orden $p$ que satisfagan una condición de suma de autocorrelaciones. Sin embargo, se ha demostrado que tales matrices (matrices de Williamson) no existen para $p=47$ (ni para $p=35$ , entre otros).
El objetivo: Encontrar una construcción que permita generar una matriz de Hadamard compleja de orden 94 sin depender de la existencia de cuatro matrices simétricas de Williamson, superando así la barrera que impedía la construcción para este orden específico.

2. Metodología

El autor emplea una combinación de teoría algebraica matricial y búsqueda computacional asistida.

A. Modificación Teórica (Construcción Algebraica)

El autor modifica una construcción fundamental de Kharaghani y Seberry (que usaba matrices de Williamson para crear matrices complejas de orden $2p$).

Nueva Estructura: En lugar de requerir cuatro matrices simétricas, el Teorema 4 propone una construcción que utiliza dos matrices simétricas ( $A$ y $B$ ) y dos matrices circulantes generales ( $C$ y $D$ ).
El Array: Se define una matriz compleja $K$ $K$ de orden $2p $utilizando bloques que combinan$ $u t i l i z an d o b l o q u es q u eco mbinan$ A, B, C, D $y la matriz antidiagonal$ $y l ama t r i z an t i d ia g o na l$ R$.
- La clave es que $A$ y $B$ deben ser simétricas, mientras que $C$ y $D$ pueden ser cualquier matriz circulante $\{-1, 1\}$ .
- Se demuestra que si estas matrices satisfacen la ecuación de suma de autocorrelaciones (Ecuación 1: $AA^T + BB^T + CC^T + DD^T = 4pI_p$ ), la matriz resultante $K$ es una matriz de Hadamard compleja.
Ventaja: Esto relaja la restricción de simetría total, permitiendo buscar soluciones en un espacio de parámetros más amplio (tipo de simetría ssxx, donde 's' es simétrico y 'x' es no simétrico/ni simétrico ni antisimétrico).

B. Búsqueda Computacional (Algoritmo)

Dado que no existen matrices de Williamson para $p=47$ , el autor implementó un algoritmo de búsqueda exhaustiva para encontrar cuatro matrices circulantes de orden 47 con el tipo de simetría (ssxx) (dos simétricas, dos no necesariamente simétricas).

Herramientas: Se utilizó Mathematica para pruebas preliminares y C++ para la ejecución final debido a la necesidad de estructuras de datos eficientes.
Estrategia de Búsqueda:
1. Filtrado por Suma de Filas: Se seleccionan sumas de filas ( $\sigma_A, \sigma_B, \sigma_C, \sigma_D$ ) que satisfacen $\sum \sigma_i^2 = 4p$ .
2. Generación de Vectores: Se generan vectores $\{-1, 1\}$ que cumplen límites espectrales (desigualdades de eigenvalores).
3. Autocorrelación y Hashing: Se calculan los coeficientes de autocorrelación periódica. Se utiliza una función hash basada en números primos para almacenar sumas de autocorrelaciones de pares de matrices simétricas ( $A, B$ ) en una tabla de búsqueda.
4. Emparejamiento: Se generan aleatoriamente vectores para $C$ y $D$ , se calcula su autocorrelación negativa y se busca si existe un par $(A, B)$ en la tabla que complemente la suma para satisfacer la condición de Hadamard.
Recursos: La búsqueda para $p=47$ requirió aproximadamente $8 \times 10^9$ intentos, ejecutándose en un solo hilo durante más de un día, consumiendo unos 20 GB de memoria RAM.

3. Contribuciones Clave

Nueva Construcción Teórica (Teorema 4): Se presenta una modificación del array de Goethels-Seidel/Kharaghani-Seberry que permite construir matrices de Hadamard complejas de orden $2p$ utilizando solo dos matrices simétricas circulantes, en lugar de cuatro.
Resolución del Caso $p=47$ : Se demuestra por primera vez la existencia de una matriz de Hadamard compleja de orden 94.
Descubrimiento de Matrices Específicas: Se identifican dos conjuntos de matrices circulantes de orden 47 con simetría (ssxx) que satisfacen las condiciones necesarias. Estas matrices no son de Williamson, ni "good matrices", ni "G-matrices", sino una nueva clase encontrada mediante búsqueda computacional.
Algoritmo de Búsqueda Eficiente: Se detalla un método eficiente basado en hashing de autocorrelaciones para encontrar soluciones en espacios combinatorios grandes, superando las limitaciones de los métodos anteriores.

4. Resultados

Teorema Principal: Existe una matriz de Hadamard compleja de orden 94.
Ejemplos Concretos:
- Ejemplo 1: Matrices con sumas de filas $\sigma_A=3, \sigma_B=7, \sigma_C=7, \sigma_D=9$ . Se encontró tras una búsqueda con un umbral de norma $B=1000$ . La suma de autocorrelaciones tiene un pico de 14.
- Ejemplo 2: Matrices con sumas de filas $\sigma_A=-1, \sigma_B=-5, \sigma_C=9, \sigma_D=9$ . Encontrado con umbral $B=1200$ . La suma de autocorrelaciones tiene un pico de 18.
Validación: La combinación de los vectores del Ejemplo 1 con la construcción del Teorema 4 genera explícitamente la matriz de Hadamard compleja de orden 94.

5. Significancia

Superación de Barreras Históricas: Antes de este trabajo, el orden 94 era un caso abierto en la clasificación de matrices de Hadamard complejas. El trabajo cierra esta brecha, demostrando que la falta de matrices de Williamson no impide la existencia de matrices de Hadamard complejas si se utilizan construcciones generalizadas.
Avance en la Clasificación: Antes de este descubrimiento, se conocían matrices de Hadamard complejas hasta el orden 18, y se habían resuelto casos como el orden 70 ( $p=35$ ). El orden 94 es un hito importante, y el siguiente desafío abierto identificado es el orden 118 ( $p=59$ ).
Implicaciones Futuras: El autor sugiere que esta metodología podría extenderse para buscar matrices con solo una simetría o para abordar órdenes superiores ( $p > 47$ ) si se dispone de recursos de supercomputación y algoritmos más sofisticados.

En resumen, el artículo combina una innovación teórica en la estructura de las matrices de Hadamard complejas con una búsqueda computacional masiva para resolver un problema de larga data en la teoría de diseños combinatorios.