Formation informatique quantique

Leçon 1 • Intrication et corrélations

Définit les états intriqués et les paires de Bell, en les distinguant des corrélations classiques. Motive l'intrication en tant que ressource de calcul.

Leçon 2 • Superposition et fonctions d'onde

Présente les vecteurs d'état quantiques et le principe de superposition. Relie le formalisme de la fonction d'onde au comportement d'un registre de qubits.

Leçon 3 • Mesure quantique et effondrement

Explique la règle de Born, les bases de mesure et l'effondrement de l'état après mesure. Ancre les étudiants dans la raison pour laquelle la mesure est irréversible et probabiliste.

Leçon 4 • Information classique vs. quantique

Oppose les bits aux qubits et le calcul probabiliste au calcul déterministe. Établit pourquoi les systèmes quantiques offrent une puissance de calcul fondamentalement différente.

Leçon 1 • Valeurs propres et décomposition spectrale

Couvre les problèmes de valeurs propres et la diagonalisation des matrices hermitiennes. Soutient directement la compréhension de l'estimation de phase quantique et de la simulation hamiltonienne.

Leçon 2 • Matrices densité et états mixtes

Étend le formalisme des états purs aux opérateurs densité pour les systèmes mixtes et ouverts. Prépare les étudiants à la modélisation du bruit et à l'analyse des erreurs quantiques.

Leçon 3 • Espaces vectoriels et espaces de Hilbert

Définit les espaces vectoriels complexes et les produits scalaires utilisés pour représenter les états quantiques. Fournit la base géométrique pour tout le formalisme quantique ultérieur.

Leçon 4 • Produits tensoriels et systèmes multi-qubits

Présente les produits tensoriels pour construire les espaces d'états multi-qubits. Permet aux étudiants d'analyser les registres et les opérations de portes à deux qubits.

Leçon 1 • Ensembles de portes universels

Définit l'universalité et prouve que de petits ensembles de portes peuvent approximer toute opération unitaire. Relie la décomposition en portes à la compilation pratique pour le matériel.

Leçon 2 • Compilation et optimisation de circuits

Présente les règles d'annulation de portes, les relations de commutation et les techniques de réduction de profondeur. Prépare les étudiants à traduire des circuits de haut niveau en portes natives du matériel.

Leçon 3 • Diagrammes de circuits quantiques

Enseigne la notation des circuits, les conventions de fil et la lecture de diagrammes multi-qubits. Fournit le langage visuel utilisé dans toute la conception d'algorithmes.

Leçon 4 • Portes à un qubit

Présente les portes de Pauli, Hadamard, phase et rotation avec visualisation sur la sphère de Bloch. Établit les blocs de construction pour toutes les transformations à un qubit.

Leçon 1 • Deutsch-Jozsa et Bernstein-Vazirani

Analyse les premières accélérations quantiques prouvées par rapport aux algorithmes déterministes classiques. Démontre la résolution de problèmes basée sur l'interférence avec des circuits concrets.

Leçon 2 • Parallélisme quantique et modèles d'oracle

Explique comment la superposition permet l'évaluation simultanée de fonctions et définit l'abstraction d'oracle. Pose le cadre conceptuel pour les accélérations basées sur la complexité de requête.

Leçon 3 • Estimation de phase quantique

Construit l'estimation de phase quantique (QPE) à partir de la transformée de Fourier quantique (QFT) et d'opérations unitaires contrôlées pour extraire les phases propres. Permet directement les algorithmes de factorisation, de simulation et de systèmes linéaires.

Leçon 4 • Transformée de Fourier quantique

Dérive le circuit de la transformée de Fourier quantique (QFT) à partir de la transformée de Fourier discrète et analyse son efficacité. Sert de sous-programme central pour l'estimation de phase et l'algorithme de Shor.

Leçon 1 • Algorithmes de marche quantique

Présente les marches quantiques discrètes et continues et leurs applications en recherche. Fournit un paradigme algorithmique alternatif au-delà des méthodes d'oracle et de Fourier.

Leçon 2 • Théorie de la complexité pour les algorithmes quantiques

Définit les classes de complexité BQP, QMA et leurs relations avec les classes classiques. Équipe les étudiants pour évaluer rigoureusement les affirmations d'avantage quantique.

Leçon 3 • Algorithme HHL pour systèmes linéaires

Dérive l'algorithme HHL pour résoudre des systèmes linéaires creux avec une accélération exponentielle. Analyse les préconditions et les limitations pratiques pour une utilisation réelle.

Leçon 4 • Algorithme de factorisation de Shor

Réduit la factorisation d'entiers à la recherche d'ordre et l'implémente via QPE. Démontre une accélération exponentielle par rapport aux meilleures méthodes de factorisation classiques.

Leçon 1 • Autres technologies de qubits émergentes

Passe en revue les atomes neutres, les qubits topologiques et les qubits de spin dans les semi-conducteurs. Évalue la maturité, les taux d'erreur et les perspectives de passage à l'échelle de chaque approche.

Leçon 2 • Bruit, décohérence et sources d'erreur

Caractérise les temps T1, T2, les erreurs de porte et la diaphonie comme sources de bruit principales. Fournit la base physique pour comprendre les besoins en correction d'erreurs.

Leçon 3 • Plateformes à ions piégés et photoniques

Analyse les mécanismes de porte dans les pièges à ions et les schémas d'encodage des qubits photoniques. Oppose les temps de cohérence, les vitesses de porte et la connectivité avec les systèmes supraconducteurs.

Leçon 4 • Systèmes de qubits supraconducteurs

Couvre la conception du qubit transmon, le contrôle par micro-ondes et les exigences cryogéniques. Explique pourquoi les plateformes supraconductrices dominent les processeurs quantiques actuels.

Leçon 1 • Opérations de portes tolérantes aux pannes

Couvre les portes transversales, la distillation d'états magiques et les gadgets tolérants aux pannes. Explique comment effectuer un calcul universel sans propager les erreurs.

Leçon 2 • Révision de la correction d'erreur classique

Revisite les codes de répétition et de Hamming pour établir les principes de correction. Motive pourquoi les techniques classiques ne peuvent pas être appliquées directement aux états quantiques.

Leçon 3 • Théorèmes de seuil et surcoût

Énonce le théorème du seuil et quantifie le surcoût en qubits physiques par rapport aux qubits logiques. Relie les taux d'erreur à la faisabilité d'algorithmes tolérants aux pannes à grande échelle.

Leçon 4 • Codes CSS et codes de surface

Dérive les codes de Calderbank-Shor-Steane et le code de surface à partir du formalisme des stabilisateurs. Se concentre sur le code de surface en tant que candidat principal pour la correction d'erreur à court terme.

Leçon 1 • Cryptographie quantique et sécurité

Examine la distribution de clés quantiques, la cryptographie post-quantique et la menace de Shor pour le chiffrement. Guide les organisations dans l'évaluation de leurs besoins de migration cryptographique.

Leçon 2 • Algorithmes quantiques variationnels

Couvre VQE et QAOA en tant qu'approches hybrides classiques-quantiques pour les dispositifs à court terme. Analyse la conception de l'ansatz, l'optimisation des paramètres et la résilience au bruit.

Leçon 3 • Applications en optimisation et finance

Mappe les problèmes d'optimisation combinatoire et de portefeuille aux algorithmes quantiques. Évalue les délais réalistes pour l'avantage quantique dans les cas d'usage financiers.

Leçon 4 • Aperçu de l'apprentissage automatique quantique

Passe en revue les méthodes de noyau quantique, les réseaux de neurones quantiques et les stratégies d'encodage de données. Évalue de manière critique les accélérations alléguées et les goulots d'étranglement pratiques du chargement de données.