Matrice de Hadamard
Une matrice de Hadamard est une matrice carrée dont les coefficients sont tous 1 ou –1 et dont les lignes sont toutes orthogonales entre elles. Le nom retenu pour ces matrices rend hommage au mathématicien français Jacques Hadamard. Des exemples de telles matrices avaient été donnés par James Joseph Sylvester.
Pour une matrice <math>H</math> d'ordre <math>n</math>, la propriété d'orthogonalité des colonnes peut également s'écrire sous la forme
- <math> H~^{\operatorname t}\!H= n I_n \quad </math>
où Modèle:Math est la matrice identité d'ordre <math>n</math> et t<math>H</math> est la matrice transposée de <math>H</math>.
Exemples :
- <math> H_1 = \begin{pmatrix}1\end{pmatrix} </math>
- <math> H_2 = \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix} </math>
- <math> H_4 = \begin{pmatrix} 1 & 1 & 1 & 1 \\ 1 & -1 & 1 & -1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & -1 & 1 \end{pmatrix} </math>
Propriétés
Une matrice réelle <math>M</math> d'ordre <math>n</math>, dont les éléments sont bornés, <math>| M_{ij} | \le 1</math> atteint l'égalité dans l'inégalité de Hadamard
- <math> |\operatorname{det}(M)| \leq n^{n/2} </math>
si et seulement si c'est une matrice de Hadamard.
Certaines opérations élémentaires transforment une matrice de Hadamard en une autre : permutation de lignes ou de colonnes, multiplication d'une ligne ou d'une colonne par -1.
La transposée d'une matrice de Hadamard est encore une matrice de Hadamard.
Construction de Sylvester
Les premiers exemples de matrices de Hadamard sont dus au mathématicien James Joseph Sylvester.
La construction est basée sur la propriété suivante. Si <math>H</math> est une matrice de Hadamard d'ordre <math>n</math>, alors la matrice
- <math>\begin{pmatrix} H & H\\ H & -H\end{pmatrix}</math>
est une matrice de Hadamard d'ordre <math>2n</math>.
En appliquant cette construction de façon itérative, on construit la suite des matrices de Walsh, ou de Sylvester
- <math>
H_1 = \begin{pmatrix} 1 \end{pmatrix}, </math>
- <math>
H_2 = \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}, </math>
puis (en utilisant la notation du produit de Kronecker)
- <math>
H_{2^k} = \begin{pmatrix} H_{2^{k-1}} & H_{2^{k-1}}\\ H_{2^{k-1}} & -H_{2^{k-1}}\end{pmatrix} = H_2\otimes H_{2^{k-1}}, </math>
Les matrices construites par la méthode de Sylvester ont certaines propriétés intéressantes. Ce sont des matrices symétriques de trace nulle. Les éléments de la première colonne et de la première ligne sont tous positifs. Dans chaque autre ligne ou colonne, la moitié des éléments est positive. Ces matrices sont étroitement liées aux fonctions de Walsh.
Ordre d'une matrice de Hadamard
L'ordre d'une matrice de Hadamard est nécessairement 1, 2 ou un multiple de 4<ref>Modèle:Article (Modèle:P.).</ref>,<ref>Modèle:Ouvrage.</ref>.
La construction de Sylvester montre qu'il existe des matrices de Hadamard d'ordre 2k pour tout entier naturel k.
La construction de matrices de Hadamard d'ordres 12 et 20 est due à Hadamard lui-même. Plus généralement, Raymond Paley a démontré que pour qu'un entier n > 0 multiple de 4 soit l'ordre d'une matrice de Hadamard, il suffit que n – 1 ou n/2 – 1 soit une puissance de nombre premier<ref name=Paley>Modèle:Article.</ref>,<ref name=IdM/>. Sa méthode utilise les corps finis. D'autres méthodes pour la construction de matrices de Hadamard sont maintenant connues.
Conjecture de Hadamard
La question ouverte la plus importante à propos des matrices de Hadamard est celle de leur existence. D'après la conjecture de Hadamard (1893)<ref name=IdM>Shalom Eliahou, « La conjecture de Hadamard » Modèle:1re et Modèle:2e sur images des Maths, 22 septembre et 21 décembre 2012.</ref>, Modèle:Énoncé
Paley a formulé explicitement la conjecture de Hadamard<ref name=Paley/>, qui lui est parfois attribuée<ref>Modèle:Article.</ref>.
À la suite de l'annonce de la découverte d'une matrice de Hadamard d'ordre 428 le Modèle:Date- par Hadi Kharaghani et Behruz Tayfeh-Rezaie, le plus petit ordre multiple de 4 pour lequel aucune matrice de Hadamard n'est connue est actuellement 668<ref name=IdM/>.
Application
Les matrices de Hadamard sont utilisées dans les codes correcteurs comme celui de Reed-Muller, ou encore pour réaliser les plans d'analyse sensorielle et les plans d'expériences factoriels.
Notes et références
Modèle:Traduction/Référence Modèle:Références
