Transformée de Fourier quantique

Modèle:À wikifier En informatique quantique, la transformée de Fourier quantique (TFQ) est une transformation linéaire sur des bits quantiques, et est l'analogie quantique de la transformée de Fourier discrète. La transformée de Fourier quantique est l'un des nombreux algorithmes quantiques, qui incluent notamment l'algorithme de Shor qui permet de factoriser et de calculer le logarithme discret, l'algorithme d'estimation de phase quantique qui estime les valeurs propres d'un opérateur unitaire et les algorithmes traitant du problème de sous-groupe caché. La transformée de Fourier quantique a été découverte par Don Coppersmith.

La transformée de Fourier quantique peut être calculée efficacement à l'aide d'un ordinateur quantique, en utilisant une décomposition en un produit de matrices unitaires plus simples. À l'aide de cette décomposition, la transformée de Fourier discrète sur $2^n$amplitudes peut être mise en œuvre sous la forme d'un circuit quantique avec un nombre de Portes d'Hadamard et de portes à déphasage commandé évoluant en $O(n^2)$, où $n$ est le nombre de qubits (le nombre de portes évolue selon une fonction en n^2). En comparaison, la transformée de Fourier discrète classique requiert un nombre de portes évoluant en $O(n{2}^n)$, soit exponentiellement supérieur à $O(n^2)$.

La transformée de Fourier quantique agit sur un vecteur d'état quantique, tandis que la transformée de Fourier classique agit sur un vecteur (classique). Dans les deux cas, ces vecteurs peuvent être écrits sous la forme de listes de nombres complexes. En ce qui concerne le cas quantique, ces nombres complexes représentent les amplitudes de probabilité des différents résultats obtenables par la mesure. Étant donné que la mesure réduit l'état quantique à une seule valeur (appelée état de base ou état propre), il n'est pas possible de profiter de l'accélération exponentielle apportée par la transformée de Fourier quantique pour chacune des tâches impliquant la transformée de Fourrier classique : la mesure d'un état quantique étant irréversible, on ne peut utiliser la transformée quantique comme raccourci que si cela n'implique qu'une seule mesure.

Les meilleurs algorithmes de transformée de Fourier quantique connus à ce jour (à la fin des années 2000) ne nécessitent qu'un nombre en $O(n\log n)$ de portes pour obtenir une approximation efficace.

Définition

La transformée de Fourier quantique est la transformée de Fourier discrète classique appliquée au vecteur d'amplitudes d'un état quantique, où l'on considère habituellement des vecteurs de longueur $N=2^n$.

La transformée de Fourier classique agit sur un vecteur $(x_0,x_1,\dots ,x_{N-1})\in {ℂ}^N$ et lui associe le vecteur $(y_0,y_1,\dots ,y_{N-1})\in {ℂ}^N$ selon la formule :

$y_k=\frac{1}{\sqrt{N}}\sum _{n=0}^{N-1}{x}_n{\omega }_N^{-kn},k=0,1,2,\dots ,N-1,$

où ${\omega }_N=e^{\frac{2\pi i}{N}}$ et ${\omega }_N^n$ est une racine N -ième de l'unité.

De même, la transformée de Fourier quantique agit sur un état quantique $|x⟩={\sum }_{i=0}^{N-1}{x}_i|i⟩$ et renvoie un état quantique ${\sum }_{i=0}^{N-1}{y}_i|i⟩$ selon la formule :

$y_k=\frac{1}{\sqrt{N}}\sum _{n=0}^{N-1}{x}_n{\omega }_N^{nk},k=0,1,2,\dots ,N-1,$

(Les conventions pour le signe de l'exposant du facteur de phase varient ; ici, l'on suit la convention telle que la transformée de Fourier quantique a le même effet que la transformée de Fourier discrète inverse, et vice versa. )

Étant donné ${\omega }_N^n$ est une rotation de ${\omega }_N$ , la transformée de Fourier quantique inverse agit de manière similaire, mais avec :

$x_n=\frac{1}{\sqrt{N}}\sum _{k=0}^{N-1}{y}_k{\omega }_N^{-nk},n=0,1,2,\dots ,N-1,$

Si $|x⟩$ est un état de base, la transformée de Fourier quantique peut également être exprimée ainsi

$\text{TFQ}:|x⟩\mapsto \frac{1}{\sqrt{N}}\sum _{k=0}^{N-1}{\omega }_N^{xk}|k⟩.$

De manière équivalente, la transformée de Fourier quantique peut être considérée comme une matrice unitaire (ou porte quantique ) agissant sur des vecteurs d'état quantiques, où la matrice unitaire $F_N$ est donné par

$F_N=\frac{1}{\sqrt{N}}\left[\begin{array}{cccccc}1& 1& 1& 1& \cdots & 1\\ 1& \omega & {\omega }^2& {\omega }^3& \cdots & {\omega }^{N-1}\\ 1& {\omega }^2& {\omega }^4& {\omega }^6& \cdots & {\omega }^{2(N-1)}\\ 1& {\omega }^3& {\omega }^6& {\omega }^9& \cdots & {\omega }^{3(N-1)}\\ ⋮& ⋮& ⋮& ⋮& & ⋮\\ 1& {\omega }^{N-1}& {\omega }^{2(N-1)}& {\omega }^{3(N-1)}& \cdots & {\omega }^{(N-1)(N-1)}\end{array}\right]$

où $\omega ={\omega }_N$. Par exemple, dans le cas où $N=4=2^2$ et où la phase $\omega =i$ la matrice de transformation devient alors

$F_4=\frac{1}{2}\left[\begin{array}{cccc}1& 1& 1& 1\\ 1& i& -1& -i\\ 1& -1& 1& -1\\ 1& -i& -1& i\end{array}\right]$

Propriétés

Unitarité

La plupart des propriétés de la transformée de Fourier quantique se déduisent du fait qu'il s'agit d'une transformation unitaire. Ceci peut être vérifié en effectuant une multiplication matricielle et en s'assurant que la relation $F{F}^{†}=F^{†}F=I$ détient, où $F^{†}$ est l'adjoint hermitien de $F$. Alternativement, on peut vérifier que les vecteurs orthogonaux de norme 1 ont pour image des vecteurs orthogonaux de norme 1.

Du fait que la transformée soit unitaire, il s'ensuit que son inverse est l'adjoint hermitien de la matrice de Fourier, d'où $F^{-1}=F^{†}$. Puisqu'il existe un circuit quantique efficace mettant en œuvre la transformée de Fourier quantique, ce même circuit peut être utilisé dans le sens opposé afin de calculer la transformée de Fourier quantique inverse. Ainsi, ces deux transformations peuvent être effectuées efficacement sur un ordinateur quantique.

Structure pratique du circuit

Les portes quantiques utilisées dans ce circuit sont la porte d'Hadamard et les portes de phase $R_m$

$H=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}1& 1\\ 1& -1\end{array}\right)\text{and}{R}_m=\left(\begin{array}{cc}1& 0\\ 0& e^{2\pi i/2^m}\end{array}\right)$

avec $e^{2\pi i/2^m}={{\omega }_m}^{\prime }={\omega }_{\left(2^m\right)}$ la primitive $2^m$ -ème racine de l'unité. Le circuit est composé de portes $H$ et des versions contrôlée de $R_m$

On suppose $N=2^n$. L'on a une base orthonormée constituée des vecteurs

$|0⟩,\dots ,|2^n-1⟩.$

Les états de base incluent tous les états possibles des qubits :

$|x⟩=|x_1{x}_2\dots x_n⟩=|x_1⟩\otimes |x_2⟩\otimes \cdots \otimes |x_n⟩$

où, avec la notation du produit tensoriel (ou produit de Kronecker) $\otimes$, $|x_j⟩$ indique ce qubit $j$ est en état $x_j$, avec $x_j$ soit 0 soit 1. Par convention, l'indice d'état de base $x$ est le nombre binaire codé par le $x_j$, avec $x_1$ le bit le plus significatif. Ainsi, nous pouvons écrire la transformée de Fourier quantique comme suit :

$\text{TFQ}(|x⟩)=\frac{1}{\sqrt{N}}\underset{j=1}{\overset{n}{⨂}}(|0⟩+{\omega }_n{\text{'}}^{x{2}^{n-j}}|1⟩).$

Il est également utile d'emprunter la notation binaire fractionnaire :

$[0.x_1\dots x_m]=\sum _{k=1}^m{x}_k{2}^{-k}.$

Avec cette notation, la transformée de Fourier quantique peut s'exprimer de manière compacte :

$\text{TFQ}(|x_1{x}_2\dots x_n⟩)=\frac{1}{\sqrt{N}}(|0⟩+e^{2\pi i[0.x_n]}|1⟩)\otimes (|0⟩+e^{2\pi i[0.x_{n-1}{x}_n]}|1⟩)\otimes \cdots \otimes (|0⟩+e^{2\pi i[0.x_1{x}_2\dots x_n]}|1⟩).$

Afin d'obtenir cet état à partir du circuit décrit ci-dessus, une opération d'échange des qubits doit être effectuée pour inverser leur ordre. Au plus $n/2$ échanges sont nécessaires.

En d'autres termes, la transformée de Fourier discrète, une opération sur n qubits, peut être factorisée comme le produit tensoriel de n opérations à un seul qubit. Cela suggère qu'elle peut être facilement représentée comme un circuit quantique (à une inversion de l'ordre de sortie près). En effet, chacune des opérations affectant un seul qubit peuvent être mise en œuvre efficacement à l'aide d'une porte d'Hadamard et de portes à phase contrôlées. Le premier terme nécessite une porte d'Hadamard et $(n-1)$ portes de phase contrôlées, la suivante nécessite une porte d'Hadamard et $(n-2)$ porte de phase contrôlée, et chaque terme suivant nécessite une porte à phase contrôlée de moins. En additionnant le nombre de portes, à l'exclusion de celles nécessaires à l'inversion de sortie, on obtient $n+(n-1)+\cdots +1=n(n+1)/2=O(n^2)$ portes, ce qui est un polynôme quadratique en nombre de qubits.

Exemple

Considérons la transformée de Fourier quantique à trois qubits. Il s'agit de la transformation suivante :

$\text{TFQ}:|x⟩\mapsto \frac{1}{\sqrt{2^3}}\sum _{k=0}^{2^3-1}{\omega }_3{\text{'}}^{xk}|k⟩,$

où ${{\omega }_3}^{\prime }={\omega }_{\left(2^3\right)}$ est une racine huitième de l'unité satisfaisant ${\omega }_3{\text{'}}^8={\left(e^{\frac{2\pi i}{2^3}}\right)}^8=1$ (puisque $N=2^3=8$).

En posant $\omega ={{\omega }_3}^{\prime }={\omega }_8$, la représentation matricielle de cette transformation sur 3 qubits est :

$F_{2^3}=\frac{1}{\sqrt{2^3}}\left[\begin{array}{cccccccc}1& 1& 1& 1& 1& 1& 1& 1\\ 1& \omega & {\omega }^2& {\omega }^3& {\omega }^4& {\omega }^5& {\omega }^6& {\omega }^7\\ 1& {\omega }^2& {\omega }^4& {\omega }^6& 1& {\omega }^2& {\omega }^4& {\omega }^6\\ 1& {\omega }^3& {\omega }^6& \omega & {\omega }^4& {\omega }^7& {\omega }^2& {\omega }^5\\ 1& {\omega }^4& 1& {\omega }^4& 1& {\omega }^4& 1& {\omega }^4\\ 1& {\omega }^5& {\omega }^2& {\omega }^7& {\omega }^4& \omega & {\omega }^6& {\omega }^3\\ 1& {\omega }^6& {\omega }^4& {\omega }^2& 1& {\omega }^6& {\omega }^4& {\omega }^2\\ 1& {\omega }^7& {\omega }^6& {\omega }^5& {\omega }^4& {\omega }^3& {\omega }^2& \omega \end{array}\right].$

La transformée de Fourier quantique à 3 qubits peut être réécrite comme suit :

$\text{TFQ}(|x_1,x_2,x_3⟩)=\frac{1}{\sqrt{2^3}}(|0⟩+e^{2\pi i[0.x_3]}|1⟩)\otimes (|0⟩+e^{2\pi i[0.x_2{x}_3]}|1⟩)\otimes (|0⟩+e^{2\pi i[0.x_1{x}_2{x}_3]}|1⟩).$

Dans le schéma suivant, nous avons le circuit respectif pour $n=3$ (l'ordre des qubits de sortie étant inversé par rapport à la TFQ à proprement parler):

Comme calculé ci-dessus, le nombre de portes utilisées est $n(n+1)/2$ qui est égal à $6$, pour $n=3$.

Relation avec la transformée d'Hadamard quantique

En utilisant la transformée de Fourier généralisée sur des groupes finis (abéliens), il existe en fait deux manières naturelles de définir une transformée de Fourier quantique sur un registre quantique à n qubits. La TFQ tel que définie ci-dessus est équivalente à la TFD, qui considère ces n qubits comme indexés par le groupe cyclique $\mathbb{Z}/2^n\mathbb{Z}$. Cependant, il est également logique de considérer les qubits comme indexés par le groupe booléen $(\mathbb{Z}/2\mathbb{Z}{)}^n$, et dans ce cas la transformée de Fourier est la transformée d'Hadamard. Ceci est fait en appliquant une porte d'Hadamard à chacun des n qubits en parallèleModèle:,. Notez que l'algorithme de Shor utilise les deux types de transformées de Fourier, à la fois une transformée d'Hadamard initiale et une TFQ.

Références

• KR Parthasarathy, Conférences sur le calcul quantique et les codes de correction d'erreurs quantiques (Indian Statistical Institute, Delhi Center, juin 2001)
• John Preskill, Notes de Conférences pour la Physique 229 : Information quantique et Calcul (CIT, septembre 1998)

Liens externes

• Wolfram Demonstration Project: Quantum Circuit Implementing Grover's Search Algorithm
• Wolfram Demonstration Project: Quantum Circuit Implementing Quantum Fourier Transform
• Quirk online life quantum fourier transform