Les ordinateurs quantiques
L'informatique quantique

Quelques portes complexes les plus usitées

portes courantes

On a déjà vu SWAP et CNOT.

  • CNOT peut se généraliser à n'importe quelle transformation conditionnelle. On peut bien mettre ce qu'on veut dans la matrice carrée [2,2] en bas à droite, du moment que c'est une transformation unitaire. On s'en sert pour générer de l'intrication. Par exemple pour Controlled Z qui provoque une rotation de π sur la sphère de Poincaré selon l'axe des Z, autrement dit c'est un retournement de phase.
  • La porte Toffoli, aussi appelée porte de Deusch D(π/2), possède 2 qubits de contrôle (et manipule 3 qubits, soit une matrice 8x8). Il faut que ces deux qubits de contrôle soit à |1⟩ pour appliquer une "Pauli-X", une rotation de π sur la sphère de Poincaré selon l'axe des X (Pauli-X est une sorte de porte NOT: si on l'applique 2 fois, on retrouve l'identité).
  • Il existe aussi la porte de Fredkin dite CSWAP, qui effectue un SWAP contrôlé par un premier qubit, entre deux autres qubits.

Universalité

En fait, il peut exister de nombreuses portes. Mais on peut définir un ensemble de portes dites universelles, qui permettent de créer (ou de s'approcher suffisamment bien) n'importe quelle porte ou séquence quantique.

On montre aussi qu'un ordinateur quantique peut faire toutes les opérations logiques classiques.

Toute transformation unitaire sur n qubits peut se transformer en un produit de transformation sur 1 et/ou 2 qubits.

C'est un théorème important : pas besoin de créer des transformations complexes difficilement réalisables "d'un coup" du point de vue physique.

transformation unitaire

On verra, dans les implémentations physiques des ordinateurs, que le jeu de portes de base est effectivement très réduit, et que c'est un compilateur qui se chargera de décomposer les opérations de "haut niveau" en instructions élémentaires, déchargeant le programmeur d'un boulot fastidieux.

Défense de copier sur son voisin

Le théorème de non-clonage s'applique bien évidemment : il n'existe pas de fonction qui permette d'avoir en entrée un qubit, et en sortie deux qubits identiques.

En termes compliqués, il n'existe pas de transformation unitaire U telle que U(|Ψ⟩ ⊗ |0⟩) = |Ψ⟩ ⊗ |Ψ⟩, parce que les opérateurs sont linéaires.

Mémoire quantique

C'est un concept, surtout mis en face du théorème de non-clonage.

Comment ça, un concept ?
Imagine: lire une mémoire, habituellement c'est faire une copie.
On copie le bit mémoire à un autre endroit pour s'en servir
Mais là, la lecture est destructive, et la copie interdite !
Et je parie que c'est pareil pour écrire ?
Et oui, ton original est perdu
[ control-X + control-V ] sur ton PC
control-C n'existe pas

Évidemment qu'on aimerait avoir une mémoire quantique qui conserve l'état des qubits, mais bon, les phénomènes de décohérence sont pénibles, alors ça n'existe pas encore.

Donc, si je rentre un annuaire dans l'ordinateur quantique
il ne reste pas en mémoire ?
Pour l'instant, ça ne risque pas d'arriver
Il va falloir un miracle technologique
Mais dis-donc, on ne peut pas faire de big data alors ?
Effectivement, car s'il faut rentrer plein de données, ça ne sera pas commode, et long
On en reparlera avec l'algorithme de Grover

Mais le jour où on pourra stocker un état quantique, on pourra faire des choses bizarres, comme des billets de banque ou attaquer des systèmes de cryptographie quantique. En particulier ceux qui échangeront des qubits, on les attend au virage.

Correction d'erreur, qubit logique

La situation est encore pire que tu ne le crois
Un qubit n'est pas très fiable, il perd la mémoire à cause de l'environnement qui le perturbe
Je te vois venir: tu vas vouloir corriger ça
Avec un code correcteur d'erreur, je parie !
Et oui, en ajoutant des qubits supplémentaires pour faire de la redondance

On ajoute donc des qubits auxiliaires dits de "contrôle" ancillae qubits qui permettent de réaliser de la correction d'erreur, mais aussi des opérations plus sournoises.

Et on vous parlera de qubit logique un qubit qui marche bien et de qubit physique les vrais qubits réels.

Combien de qubits physiques faut-il pour faire un qubit logique ?
Cela dépend beaucoup de la décohérence observée dans ton vrai ordinateur
On parle de 5 à 7 qubits physiques pour un logique
Mais les avis sont très partagés, déjà qu'actuellement on arrive à une cinquantaine de qubits physiques pour les plus gros ordinateurs...
Certains parlent de millions de qubits physiques !
Voilà qui ne va pas vraiment dans le bon sens pour le développement de ces ordinateurs quantiques.

La bonne nouvelle est que l'on montre, comme en informatique classique, qu'on peut quasiment tout faire avec uniquement un jeu réduit de portes quantiques, ce qui sera commode pour l'implémentation.

La très mauvaise nouvelle est l'absence de mémoire quantique digne de ce nom. Cela va limiter fortement ce qu'on pourra faire avec un ordinateur quantique. Et a des conséquences terribles sur le nombre de qubits physiques requis pour réaliser une opération.

Maintenant que nous avons nos outils, il est temps de regarder les algorithmes quantiques.

Enfin, on va voir ce qu'on peut faire avec ces ordinateurs quantiques !
Oui, mais va falloir s'accrocher pour comprendre le détail.

Bon courage ! Et félicitations d'être arrivé jusqu'ici.