Développement : Décomposition polaire et marche quantique unitaire

Détails/Enoncé :

On considère des matrices $A$ et $B$ telles que $A^*A+B^*B=Id$ et $A^*B=0$. Alors il existe un projecteur $P$ et une matrice unitaire $U$ tels que $A=UP$ et $B=U(Id-P)$.

La condition sur $A$ et $B$ équivaut au fait que la matrice suivante est unitaire :
$$
\begin{pmatrix}
0 & B & 0 & 0& \cdots & A \\
A& 0 & B & 0 \cdots & 0 \\
\vdots & \ddots \\
B & 0 & 0 & \cdots & A& 0
\end{pmatrix}
$$
Cette matrice décrit la marche quantique unitaire sur Z/nZ

Recasages pour l'année 2024 :

Versions :

Pas de version pour ce développement.

Références utilisées dans les versions de ce développement :