
En matemáticas , una matriz de Hadamard , que recibe su nombre del matemático francés Jacques Hadamard , es una matriz cuadrada cuyos elementos son +1 o −1 y cuyas filas son mutuamente ortogonales . En términos geométricos , esto significa que cada par de filas de una matriz de Hadamard representa dos vectores perpendiculares , mientras que en términos combinatorios , significa que cada par de filas tiene elementos coincidentes en la mitad de sus columnas y elementos no coincidentes en las columnas restantes. Como consecuencia de esta definición, las propiedades correspondientes se cumplen tanto para las columnas como para las filas.
El paralelepípedo n -dimensional generado por las filas de una matriz de Hadamard n × n tiene el máximo volumen n -dimensional posible entre los paralelepípedos generados por vectores cuyos elementos están limitados en valor absoluto por 1. De forma equivalente, una matriz de Hadamard tiene el determinante máximo entre las matrices con elementos de valor absoluto menor o igual a 1 y, por lo tanto, es una solución extrema del problema del determinante máximo de Hadamard .
Ciertas matrices de Hadamard se pueden usar casi directamente como un código de corrección de errores usando un código de Hadamard (generalizado en códigos de Reed-Muller ), y también se usan en la replicación repetida balanceada (BRR), utilizada por los estadísticos para estimar la varianza de un estimador de parámetros .
Propiedades
Sea H una matriz de Hadamard de orden n . La transpuesta de H está estrechamente relacionada con su inversa . De hecho:
donde I n es la matriz identidad n × n y H T es la transpuesta de H . Para ver que esto es cierto, observe que las filas de H son todos vectores ortogonales sobre el campo de los números reales y cada uno tiene longitudAl dividir H por esta longitud se obtiene una matriz ortogonal cuya transpuesta es, por lo tanto, su inversa:
Multiplicando nuevamente por la longitud se obtiene la igualdad anterior. Como resultado,
donde det( H ) es el determinante de H.
Supongamos que M es una matriz compleja de orden n , cuyas entradas están acotadas por | M ij | ≤ 1, para cada i , j entre 1 y n . Entonces, la cota del determinante de Hadamard establece que
La igualdad en esta cota se alcanza para una matriz real M si y solo si M es una matriz de Hadamard.
El orden de una matriz de Hadamard debe ser 1, 2 o un múltiplo de 4. [ 1 ]
Prueba
A continuación se presenta la prueba de la no existencia de matrices de Hadamard con dimensiones distintas de 1, 2 o un múltiplo de 4:
Si, entonces hay al menos un producto escalar de 2 filas que tiene que ser 0. El producto escalar es una suma de n valores, cada uno de los cuales es 1 o −1, por lo tanto la suma es impar para n impar , así que n debe ser par .
Sicony existe unMatriz de Hadamard, entonces tiene la propiedad de que para cualquier:
Ahora definimos la matrizal establecer. Tenga en cuenta quetiene todos 1 en la fila 0. Comprobamos queTambién es una matriz de Hadamard:
La fila 1 y la fila 2, al igual que todas las demás filas excepto la fila 0, deben tenerentradas de 1 yentradas de −1 cada una. (*)
Dejardenotemos el número de 1s de la fila 2 debajo de los 1s de la fila 1. Seadenotemos el número de -1s de la fila 2 debajo de los 1s en la fila 1. Seadenotemos el número de 1s de la fila 2 debajo de los −1s en la fila 1. Seadenota el número de −1s de la fila 2 debajo de los −1s en la fila 1.
La fila 2 tiene que ser ortogonal a la fila 1, por lo que el número de productos de entradas de las filas que resultan en 1,, tiene que coincidir con los que dan como resultado −1,Debido a (*), también tenemos, de lo cual podemos expresaryy sustituir:
Pero tenemos como número de 1s en la fila 1 el número impar, contradicción .
La construcción de Sylvester
Ejemplos de matrices de Hadamard fueron construidos por primera vez por James Joseph Sylvester en 1867. Sea H una matriz de Hadamard de orden n . Entonces la matriz particionada es...
es una matriz de Hadamard de orden 2 n . Esta observación se puede aplicar repetidamente y conduce a la siguiente secuencia de matrices, también llamadas matrices de Walsh .
y
para, dóndedenota el producto de Kronecker .
De esta manera, Sylvester construyó matrices de Hadamard de orden 2k para cada entero no negativo k . [ 2 ]
Las matrices de Sylvester poseen varias propiedades especiales. Son simétricas y, cuando k ≥ 1 ( 2k > 1), tienen traza cero. Los elementos de la primera columna y la primera fila son todos positivos. Los elementos de las demás filas y columnas se dividen equitativamente entre positivos y negativos . Las matrices de Sylvester están estrechamente relacionadas con las funciones de Walsh .

Construcción alternativa
Si mapeamos los elementos de la matriz de Hadamard usando el homomorfismo de grupo, dóndees el grupo aditivo del campoCon dos elementos, podemos describir una construcción alternativa de la matriz de Hadamard de Sylvester. Primero consideremos la matriz, elmatriz cuyas columnas constan de todos los números de n bits ordenados en orden ascendente. Podemos definirrecursivamente por
Se puede demostrar por inducción que la imagen de la matriz de Hadamard bajo el homomorfismo anterior viene dada por
donde se realiza la aritmética matricial sobre.
Esta construcción demuestra que las filas de la matriz de Hadamardpuede verse como una longitudcódigo de corrección de errores lineal de rango n y distancia mínimacon matriz generadora
Este código también se conoce como código de Walsh . El código de Hadamard , por el contrario, se construye a partir de la matriz de Hadamard.mediante un procedimiento ligeramente diferente.
Conjetura de Hadamard
La cuestión abierta más importante en la teoría de las matrices de Hadamard es la de su existencia. Específicamente, la conjetura de Hadamard propone que existe una matriz de Hadamard de orden 4k para cada entero positivo k . La conjetura de Hadamard también se ha atribuido a Paley, aunque otros autores la consideraron implícitamente antes de su trabajo. [ 3 ]
Una generalización de la construcción de Sylvester demuestra que siyson matrices de Hadamard de órdenes n y m respectivamente, entonceses una matriz de Hadamard de orden nm . Este resultado se utiliza para producir matrices de Hadamard de orden superior una vez que se conocen las de órdenes inferiores.
La construcción de Sylvester de 1867 produce matrices de Hadamard de orden 1, 2, 4, 8, 16, 32, etc. Posteriormente, Hadamard construyó matrices de Hadamard de órdenes 12 y 20 (en 1893). [ 4 ] En 1933, Raymond Paley descubrió la construcción de Paley , que produce una matriz de Hadamard de orden q + 1 cuando q es cualquier potencia prima que es congruente con 3 módulo 4 y que produce una matriz de Hadamard de orden 2( q + 1) cuando q es una potencia prima que es congruente con 1 módulo 4. [ 5 ] Su método utiliza cuerpos finitos .
El orden más pequeño que no se puede construir mediante una combinación de los métodos de Sylvester y Paley es 92. Baumert , Golomb y Hall hallaron una matriz de Hadamard de este orden utilizando una computadora en 1962 en el JPL . [ 6 ] Utilizaron una construcción, debida a Williamson , [ 7 ] que ha dado lugar a muchos órdenes adicionales. Actualmente se conocen muchos otros métodos para construir matrices de Hadamard.
En 2005, Hadi Kharaghani y Behruz Tayfeh-Rezaie publicaron su construcción de una matriz de Hadamard de orden 428. [ 8 ] Como resultado, el orden más pequeño para el que actualmente no se conoce ninguna matriz de Hadamard es 668.
Para 2014, había 12 múltiplos de 4 menores que 2000 para los que no se conocía ninguna matriz de Hadamard de ese orden. [ 9 ] Son: 668, 716, 892, 1132, 1244, 1388, 1436, 1676, 1772, 1916, 1948 y 1964.
Equivalencia y unicidad
Dos matrices de Hadamard se consideran equivalentes si una puede obtenerse de la otra negando filas o columnas, o intercambiándolas. Salvo equivalencia, existe una única matriz de Hadamard de órdenes 1, 2, 4, 8 y 12. Hay 5 matrices no equivalentes de orden 16, 3 de orden 20, 60 de orden 24 y 487 de orden 28. Se conocen millones de matrices no equivalentes para los órdenes 32, 36 y 40. Utilizando una noción de equivalencia más general que también permite la transposición , hay 4 matrices no equivalentes de orden 16, 3 de orden 20, 36 de orden 24 y 294 de orden 28. [ 10 ]
Las matrices de Hadamard también son recuperables de forma única, en el siguiente sentido: Si una matriz de Hadamard del ordentieneSi se eliminan entradas al azar, entonces, con una probabilidad abrumadora, se puede recuperar perfectamente la matriz original.del dañado. El algoritmo de recuperación tiene el mismo costo computacional que la inversión de matrices. [ 11 ]
Casos especiales
En la literatura matemática se han investigado numerosos casos especiales de matrices de Hadamard.
Matrices de Hadamard sesgadas
Una matriz de Hadamard H es asimétrica si Una matriz de Hadamard asimétrica sigue siendo una matriz de Hadamard asimétrica después de multiplicar cualquier fila y su columna correspondiente por −1. Esto permite, por ejemplo, normalizar una matriz de Hadamard asimétrica de modo que todos los elementos de la primera fila sean iguales a 1.
Reid y Brown demostraron en 1972 que existe un torneo doblemente regular de orden n si y solo si existe una matriz de Hadamard sesgada de orden n + 1. En un torneo matemático de orden n , cada uno de los n jugadores juega una partida contra cada uno de los demás jugadores, resultando cada partida en una victoria para uno de los jugadores y una derrota para el otro. Un torneo es regular si cada jugador gana el mismo número de partidas. Un torneo regular es doblemente regular si el número de oponentes derrotados por ambos de dos jugadores distintos es el mismo para todos los pares de jugadores distintos. Dado que cada una de las n ( n − 1)/2 partidas jugadas resulta en una victoria para uno de los jugadores, cada jugador gana ( n − 1)/2 partidas (y pierde el mismo número). Dado que cada uno de los ( n − 1)/2 jugadores derrotados por un jugador dado también pierde contra ( n − 3)/2 otros jugadores, el número de pares de jugadores ( i , j ) tales que j pierde tanto contra i como contra el jugador dado es ( n − 1)( n − 3)/4. El mismo resultado debería obtenerse si los pares se cuentan de manera diferente: el jugador dado y cualquiera de los n − 1 otros jugadores juntos derrotan al mismo número de oponentes comunes. Este número común de oponentes derrotados debe ser, por lo tanto, ( n − 3)/4. Una matriz de Hadamard sesgada se obtiene introduciendo un jugador adicional que derrota a todos los jugadores originales y luego formando una matriz con filas y columnas etiquetadas por jugadores según la regla de que la fila i , columna j contiene 1 si i = j o i derrota a j y −1 si j derrota a i . Esta correspondencia inversa produce un torneo doblemente regular a partir de una matriz de Hadamard sesgada, suponiendo que la matriz de Hadamard sesgada está normalizada de modo que todos los elementos de la primera fila son iguales a 1. [ 12 ]
Matrices de Hadamard regulares
Las matrices de Hadamard regulares son matrices de Hadamard reales cuyas sumas de filas y columnas son todas iguales. Una condición necesaria para la existencia de una matriz de Hadamard regular n × n es que n sea un número cuadrado . Una matriz circulante es manifiestamente regular, y por lo tanto, una matriz de Hadamard circulante tendría que ser de orden cuadrado. Además, si existiera una matriz de Hadamard circulante n × n con n > 1, entonces n necesariamente tendría que ser de la forma 4 u 2 con u impar. [ 13 ] [ 14 ]
Matrices de Hadamard circulantes
Sin embargo, la conjetura de la matriz circulante de Hadamard afirma que, aparte de los ejemplos conocidos de 1 × 1 y 4 × 4, no existen tales matrices. Esto se verificó para todos los valores de u menores que 10⁴ , excepto 26. [ 15 ]
Generalizaciones
Una generalización básica es una matriz de ponderación . Una matriz de ponderación es una matriz cuadrada en la que las entradas también pueden ser cero y que satisfacepara algún w, su peso. Una matriz de ponderación cuyo peso es igual a su orden es una matriz de Hadamard. [ 16 ]
Otra generalización define una matriz de Hadamard compleja como una matriz cuyas entradas son números complejos de módulo unitario y que satisface HH * = n I n , donde H * es la transpuesta conjugada de H. Las matrices de Hadamard complejas surgen en el estudio de las álgebras de operadores y la teoría de la computación cuántica . Las matrices de Hadamard de tipo Butson son matrices de Hadamard complejas cuyas entradas son las raíces q -ésimas de la unidad . Algunos autores han utilizado el término matriz de Hadamard compleja para referirse específicamente al caso q = 4.
También se han considerado matrices de tipo Hadamard sobre cuerpos finitos . Para un primo impar p , una matriz de tipo Hadamard sobrees una matriz n por n con entradas ensatisfactoriomódulo p . Kodama y Kojima demostraron que, mientras que los órdenes impares están restringidos a residuos cuadráticos módulo p , tales matrices existen para cada orden par n con. [ 17 ]
Aplicaciones prácticas
- Olivia MFSK : un protocolo digital de radioaficionado diseñado para funcionar en condiciones difíciles (baja relación señal/ruido más propagación multitrayecto) en bandas de onda corta.
- Replicación repetida balanceada (BRR): una técnica utilizada por los estadísticos para estimar la varianza de un estimador estadístico .
- Espectrometría de apertura codificada : un instrumento para medir el espectro de la luz . El elemento de máscara utilizado en los espectrómetros de apertura codificada suele ser una variante de una matriz de Hadamard.
- Redes de retardo de retroalimentación: dispositivos de reverberación digital que utilizan matrices de Hadamard para mezclar valores de muestra.
- Diseño de experimentos de Plackett-Burman para investigar la dependencia de alguna magnitud medida con respecto a varias variables independientes .
- Diseños de parámetros robustos para investigar el impacto del factor ruido en las respuestas.
- Detección comprimida para el procesamiento de señales y sistemas lineales subdeterminados (problemas inversos)
- Puerta de Hadamard cuántica para computación cuántica y la transformada de Hadamard para algoritmos cuánticos.
- Inferencia filogenética mediante transformaciones de Hadamard [ 18 ]
- Representaciones epistáticas de todos los órdenes de interacción [ 19 ]
Véase también
- Diseño combinatorio
- Hadamard transforma
- matriz de quincunx
- Matriz de Walsh
- Matriz de ponderación
- Puerta lógica cuántica
- Procesamiento algebraico de señales : marco en el que la matriz de Hadamard surge como la tabla de caracteres del grupo abeliano elemental.
Notas
- ↑ "Matrices y diseños de Hadamard" (PDF) . UC Denver . Consultado el 11 de febrero de 2023 .
- ↑ JJ Sylvester. Reflexiones sobre matrices ortogonales inversas, sucesiones de signos simultáneas y pavimentos teselados en dos o más colores, con aplicaciones a la regla de Newton, la ornamentación de azulejos y la teoría de números. Philosophical Magazine , 34:461–475, 1867
- ↑ Hedayat, A.; Wallis, WD (1978). "Matrices de Hadamard y sus aplicaciones" . Annals of Statistics . 6 (6): 1184– 1238. doi : 10.1214/aos/1176344370 . JSTOR 2958712. MR 0523759 . .
- ^ Hadamard, J. (1893). "Résolution d'une question relativa aux determinantes". Boletín de Ciencias Matemáticas . 17 : 240-246 .
- ↑ Paley, REAC (1933). "Sobre matrices ortogonales". Journal of Mathematics and Physics . 12 ( 1– 4): 311– 320. doi : 10.1002/sapm1933121311 .
- ↑ Baumert, L.; Golomb, SW; Hall, M. Jr. (1962). "Descubrimiento de una matriz de Hadamard de orden 92" . Boletín de la Sociedad Matemática Americana . 68 (3): 237– 238. doi : 10.1090/S0002-9904-1962-10761-7 . MR 0148686 .
- ↑ Williamson, J. (1944). "El teorema del determinante de Hadamard y la suma de cuatro cuadrados". Duke Mathematical Journal . 11 (1): 65– 81. doi : 10.1215/S0012-7094-44-01108-7 . MR 0009590 .
- ↑ Kharaghani, H.; Tayfeh-Rezaie, B. (2005). "Una matriz de Hadamard de orden 428". Journal of Combinatorial Designs . 13 (6): 435– 440. doi : 10.1002/jcd.20043 . S2CID 17206302 .
- ↑ Đoković, Dragomir Ž; Golubitsky, Oleg; Kotsireas, Ilias S. (2014). "Algunos nuevos órdenes de matrices Hadamard y Skew-Hadamard". Revista de diseños combinatorios . 22 (6): 270–277 . arXiv : 1301.3671 . doi : 10.1002/jcd.21358 . S2CID 26598685 .
- ↑ Wanless, IM (2005). "Permanentes de matrices de unos con signo". Álgebra lineal y multilineal . 53 (6): 427– 433. doi : 10.1080/03081080500093990 . S2CID 121547091 .
- ↑ Kline, J. (2019). "Búsqueda geométrica de matrices de Hadamard" . Theoretical Computer Science . 778 : 33–46 . doi : 10.1016/j.tcs.2019.01.025 . S2CID 126730552 .
- ↑ Reid, KB; Brown, Ezra (1972). "Los torneos doblemente regulares son equivalentes a las matrices de Hadamard sesgadas" . Journal of Combinatorial Theory, Series A. 12 ( 3): 332– 338. doi : 10.1016/0097-3165(72)90098-2 .
- ↑ Turyn, RJ (1965). "Sumas de caracteres y conjuntos de diferencias" . Pacific Journal of Mathematics . 15 (1): 319– 346. doi : 10.2140/pjm.1965.15.319 . MR 0179098 .
- ↑ Turyn, RJ (1969). "Secuencias con baja correlación". En Mann, HB (ed.). Códigos correctores de errores . Nueva York: Wiley. págs. 195–228 .
- ↑ Schmidt, B. (1999). "Enteros ciclotómicos y geometría finita" . Journal of the American Mathematical Society . 12 (4): 929– 952. doi : 10.1090/S0894-0347-99-00298-2 . hdl : 10356/92085 . JSTOR 2646093 .
- ↑ Geramita, Anthony V.; Pullman, Norman J.; Wallis, Jennifer S. (1974). "Familias de matrices de ponderación" . Boletín de la Sociedad Matemática Australiana . 10 (1). Cambridge University Press (CUP): 119– 122. doi : 10.1017/s0004972700040703 . ISSN 0004-9727 . S2CID 122560830 .
- ↑ Kodama, Iori; Kojima, Tetsuya (1 de marzo de 2026). "Sobre matrices de tipo Hadamard de órdenes pares sobre cuerpos finitos" . IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences . E109-A (3): 393– 395. doi : 10.1587/transfun.2025TAL0002 .
- ↑ Hendy, Michael D; Penny, David (1989). "Un marco para el estudio cuantitativo de árboles evolutivos" . Systematic Zoology . 38 (4): 297– 309. doi : 10.2307/2992396 . Recuperado el 8 de julio de 2026 .
- ↑ Bethke, Albert D (1980). Algoritmos genéticos como optimizadores de funciones . ProQuest Dissertations and Theses. pág. 134. Recuperado el 8 de julio de 2026 .
Lecturas adicionales
- Baumert, LD; Hall, Marshall (1965). "Matrices de Hadamard del tipo Williamson" . Math. Comp . 19 (91): 442– 447. doi : 10.1090/S0025-5718-1965-0179093-2 . MR 0179093 .
- Georgiou, S.; Koukouvinos, C.; Seberry, J. (2003). «Matrices de Hadamard, diseños ortogonales y algoritmos de construcción». Designs 2002: Further computational and constructive design theory . Boston: Kluwer. pp. 133–205 . ISBN 978-1-4020-7599-5.
- Goethals, JM; Seidel, JJ (1970). "Una matriz de Hadamard sesgada de orden 36" . J. Austral. Math. Soc . 11 (3): 343– 344. doi : 10.1017/S144678870000673X . S2CID 14193297 .
- Kimura, Hiroshi (1989). "Nueva matriz de Hadamard de orden 24". Graphs and Combinatorics . 5 (1): 235– 242. doi : 10.1007/BF01788676 . S2CID 39169723 .
- Mood, Alexander M. (1964). "Sobre el problema de ponderación de Hotelling" . Annals of Mathematical Statistics . 17 (4): 432– 446. doi : 10.1214/aoms/1177730883 .
- Reid, KB; Brown, E. (1972). "Los torneos doblemente regulares son equivalentes a las matrices de Hadamard sesgadas" . J. Combin. Theory Ser. A. 12 ( 3): 332– 338. doi : 10.1016/0097-3165(72)90098-2 .
- Seberry Wallis, Jennifer (1976). "Sobre la existencia de matrices de Hadamard" . J. Comb. Theory A. 21 ( 2): 188– 195. doi : 10.1016/0097-3165(76)90062-5 .
- Seberry, Jennifer (1980). "Una construcción para matrices de Hadamard generalizadas" . J. Statist. Plann. Infer . 4 (4): 365– 368. doi : 10.1016/0378-3758(80)90021-X .
- Seberry, J.; Wysocki, B.; Wysocki, T. (2005). "Sobre algunas aplicaciones de las matrices de Hadamard" . Metrika . 62 ( 2–3 ): 221–239 . doi : 10.1007/s00184-005-0415-y . S2CID 40646 .
- Spence, Edward (1995). "Clasificación de matrices de Hadamard de orden 24 y 28" . Discrete Math . 140 ( 1–3 ): 185–242 . doi : 10.1016/0012-365X(93)E0169-5 .
- Yarlagadda, RK; Hershey, JE (1997). Análisis y síntesis de la matriz de Hadamard . Boston: Kluwer. ISBN 978-0-7923-9826-4.
Enlaces externos
- Matrices de Hadamard sesgadas de todos los órdenes hasta 100, incluyendo todos los tipos con orden hasta 28;
- "Matriz de Hadamard" .en OEIS
- NJA Sloane . "Biblioteca de Matrices de Hadamard" .
- Utilidad en línea para obtener todos los pedidos hasta el 1000, excepto el 668, 716, 876 y 892.
- Paquete R para generar matrices de Hadamard usando R
- JPL: En 1961, matemáticos del Laboratorio de Propulsión a Chorro de la NASA y del Caltech colaboraron para construir una matriz de Hadamard que contenía 92 filas y columnas.
- Diseño combinatorio
- Matrices (matemáticas)
- Problemas sin resolver en matemáticas