Matrice de Hadamard

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 ${\displaystyle H}$ est une matrice de Hadamard d'ordre ${\displaystyle n}$, alors la matrice

${\displaystyle {\begin{pmatrix}H&H\\H&-H\end{pmatrix}}}$

est une matrice de Hadamard d'ordre ${\displaystyle 2n}$.

En appliquant cette construction de façon itérative, on construit la suite des matrices de Walsh, ou de Sylvester

${\displaystyle H_{1}={\begin{pmatrix}1\end{pmatrix}},}$

${\displaystyle H_{2}={\begin{pmatrix}1&1\\1&-1\end{pmatrix}},}$

puis (en utilisant la notation du produit de Kronecker)

${\displaystyle 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}},}$

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.

La question ouverte la plus importante à propos des matrices de Hadamard est celle de leur existence. D'après la conjecture de Hadamard (1893)[4],

pour tout entier n > 0 multiple de 4, il existe une matrice de Hadamard d'ordre n.

Paley a formulé explicitement la conjecture de Hadamard[3], qui lui est parfois attribuée[5].

À la suite de l'annonce de la découverte d'une matrice de Hadamard d'ordre 428 le 21 juin 2004 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[4].