Transformée de Hadamard

La transformée de Hadamard (aussi connue sous le nom de « transformée de Walsh-Hadamard ») est nommée d'après le mathématicien français Jacques Hadamard et effectue une opération linéaire et involutive avec une matrice orthogonale et symétrique sur Modèle:Math nombres réels (ou complexes, bien que les matrices utilisées possèdent des coefficients réels). Ces matrices sont des matrices de Hadamard.

La transformée de Hadamard peut être vue comme étant une transformée de Fourier discrète multidimensionnelle d'une taille de Modèle:Math. Elle décompose un vecteur arbitraire en entrée en une superposition de fonctions de Walsh.

Définition formelle

La transformée de Hadamard Modèle:Mvar utilise une matrice Modèle:Math (une matrice de Hadamard) multipliée par un facteur de normalisation, et transforme 2Modèle:Exp nombres réels Modèle:Mvar en 2Modèle:Exp nombres réels Modèle:Mvar. La transformée peut être définie de deux manières : récursivement ou en utilisant une représentation binaire des indices n et k.

Définition récursive

Récursivement, on définit une première transformation Modèle:Math via une matrice Modèle:Math qui est la matrice identité avec une seule ligne, une seule colonne, donc seul élément (1). On définit ensuite Modèle:Mvar pour Modèle:Math grâce à la relation suivante :

$H_m=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}{H}_{m-1}& H_{m-1}\\ H_{m-1}& -H_{m-1}\end{array}\right)$

ou bien en utilisant le produit tensoriel pour $m>1$ : $H_m=H_1\otimes H_{m-1}$ avec $H_1=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}1& 1\\ 1& -1\end{array}\right)$

Modèle:Math est un facteur de normalisation qui est parfois omis. Ainsi, à l'exception de la normalisation, les coefficients de la matrice sont égaux à 1 ou -1.

Définition directe

De manière équivalente, on peut définir l'élément Modèle:Math d'une matrice de Hadamard grâce à $k=k_{m-1}{2}^{m-1}+k_{m-2}{2}^{m-2}+\cdots +k_{1}2+k_0$ et $n=n_{m-1}{2}^{m-1}+n_{m-2}{2}^{m-2}+\cdots +n_{1}2+n_0$, où Modèle:Mvar et Modèle:Mvar sont le bit Modèle:Mvar (0 ou 1) de respectivement Modèle:Mvar et Modèle:Mvar. Dans ce cas, on obtient

${\left(H_m\right)}_{k,n}=\frac{1}{2^{m/2}}(-1{)}^{\sum _j{k}_j{n}_j}$.

Interprétation

Il s'agit d'une transformée de Fourier discrète Modèle:Math normalisée de manière à être unitaire, si l'on considère les entrées et les sorties comme des tableaux multidimensionnels indexés par Modèle:Mvar et Modèle:Mvar.

Exemples

Les premières matrices de Hadamard sont données par :

$H_0=1$

$H_1=\frac{1}{\sqrt{2}}\left(\begin{array}{c}\begin{array}{cc}1& 1\\ 1& -1\end{array}\end{array}\right)$

$H_2=\frac{1}{2}\left(\begin{array}{c}\begin{array}{cccc}1& 1& 1& 1\\ 1& -1& 1& -1\\ 1& 1& -1& -1\\ 1& -1& -1& 1\end{array}\end{array}\right)$

$H_3=\frac{1}{2^{3/2}}\left(\begin{array}{c}\begin{array}{cccccccc}1& 1& 1& 1& 1& 1& 1& 1\\ 1& -1& 1& -1& 1& -1& 1& -1\\ 1& 1& -1& -1& 1& 1& -1& -1\\ 1& -1& -1& 1& 1& -1& -1& 1\\ 1& 1& 1& 1& -1& -1& -1& -1\\ 1& -1& 1& -1& -1& 1& -1& 1\\ 1& 1& -1& -1& -1& -1& 1& 1\\ 1& -1& -1& 1& -1& 1& 1& -1\end{array}\end{array}\right)$

Les lignes d'une matrice de Hadamard forment des fonctions de Walsh.

Applications

Dans le traitement de l'informatique quantique, Modèle:Ancrela transformation de Hadamard est appelée « porte de Hadamard » lorsqu'elle agit sur un seul qubit. Elle permet de transformer les états $|0⟩$ et $|1⟩$ du qubit en deux états superposés avec un poids égal : $|0⟩$ et $|1⟩$. Dans la base $|0⟩$, $|1⟩$ cela correspond à la matrice de transformation :

$H_1=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}1& 1\\ 1& -1\end{array}\right)$

Dans toute autre base, en utilisant la notation de Dirac, si l'on note $H$ l'operateur de Hadamard agissant sur un état $|{\psi }_0⟩$ pour donner un état $|{\psi }_1⟩$ tel que $|{\psi }_1⟩=|H|{\psi }_0⟩$

$H=\frac{|0⟩+|1⟩}{\sqrt{2}}⟨0|+\frac{|0⟩-|1⟩}{\sqrt{2}}⟨1|$

Un grand nombre d'algorithmes quantiques utilisent la transformation de Hadamard comme première étape, car la supériorité du calcul quantique provient de l'exploration d'un domaine de possibilités par des états superposés. La transformation de Hadamard transforme n qubits initialisés avec $|0⟩$ en une superposition de tous les 2ⁿ états orthogonaux.

À titre d'exemple, l'algorithme de Shor fait appel à une telle transformation.

Autres applications

La transformation est utilisée en cryptographie, on parle alors de pseudo-transformation de Hadamard. Elle est aussi utilisée pour générer des nombres aléatoires à partir d'une distribution gaussienne. On l'utilise aussi dans la compression de données comme dans l'algorithme H.264 et pour des opérations de traitement du signal.

La transformation de Hadamard est également utilisée pour étudier l'évolution de systèmes au cours du temps par des méthodes expérimentales telles que la cristallographie aux rayons X.