Physic Labs

Physique de pointe

Algorithmes quantiques (Shor, Grover)

Illustrez l'algorithme de Grover : amplification de l'amplitude d'un état cible parmi NN éléments. Observez le vecteur d'état tourner dans un plan à deux dimensions et vérifiez le nombre d'itérations optimal ≈π4N\approx \frac{\pi}{4}\sqrt{N}.

Recherche

Matériel

  • Modèle du vecteur d'état tournant dans un plan 2D
  • Curseurs de taille N et nombre d'itérations k
  • Affichage de l'amplitude/probabilité cible par itération

Protocole

  1. Fixer la taille du problème

    Faites glisser le curseur « Taille N » pour choisir le nombre d'éléments de la base simulée (par ex. N = 25). Sur l'axe de l'état initial, l'amplitude de la cible part de 1/N1/\sqrt{N} — petite pour N grand. Comparez avec la recherche classique, qui demande en moyenne N/2N/2 essais.

  2. Augmenter le nombre d'itérations

    Faites avancer le curseur « Itérations » pas à pas et regardez le vecteur d'état tourner vers l'axe cible : chaque itération de Grover ajoute un angle 2θ2\theta avec sin⁡θ=1/N\sin\theta = 1/\sqrt{N}. Lisez la probabilité de mesurer la cible après k itérations : P(k)=sin⁡2((2k+1)θ)P(k) = \sin^2((2k+1)\theta).

  3. Trouver le nombre optimal

    Pour chaque N, balayez k jusqu'au maximum de probabilité et comparez à k∗≈π4Nk^* \approx \frac{\pi}{4}\sqrt{N}. Dépassez l'optimum pour voir la probabilité retomber — le vecteur dépasse la cible. Essayez un grand N (par ex. 100) : k∗k^* croît en N\sqrt{N}, pas en NN.

Simulation

Histoire de l’expérience

En 1982, Richard Feynman proposa d'utiliser des systèmes quantiques pour en simuler d'autres — l'idée fondatrice du calcul quantique. David Deutsch (1985) définit la machine de Turing quantique universelle. En 1994, Peter Shor publia la factorisation en temps polynomial, et en 1996 Lov Grover présenta un algorithme de recherche en O(N)O(\sqrt{N}) requêtes — accélération quadratique sur toute méthode classique. Contrairement à l'appareil arithmétique de Shor, Grover n'utilise que deux transformations géométriques : réflexion par rapport à l'état cible (l'oracle) et réflexion par rapport à la moyenne (diffusion). Bennett, Bernstein, Brassard et Vazirani ont prouvé que Ω(N)\Omega(\sqrt{N}) est aussi la borne inférieure : Grover est donc asymptotiquement optimal. Des démonstrations à petite échelle ont tourné sur ions piégés et qubits supraconducteurs.

Physiciens associés

Sujets liés de la bibliothèque