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 comme une ressource computationnelle.

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 des registres 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

Met en contraste les bits avec les qubits et le calcul probabiliste vs 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 de densité et états mixtes

Étend le formalisme des états purs aux opérateurs de 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 subséquent.

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

Présente les produits tensoriels pour construire des 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 transformation unitaire. Relie la décomposition des portes à la compilation matérielle pratique.

Leçon 2 • Compilation et optimisation de circuits

Présente les règles d'annulation de portes, les règles 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é tout au long de la conception d'algorithmes.

Leçon 4 • Portes à un seul qubit

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

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

Analyse les premières accélérations quantiques prouvées par rapport aux algorithmes classiques déterministes. 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. Prépare le terrain conceptuel pour les accélérations basées sur la complexité des requêtes.

Leçon 3 • Estimation de phase quantique

Construit l'algorithme QPE à partir de la 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 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 de 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 BQP, QMA et leurs relations avec les classes de complexité classiques. Équipe les étudiants pour évaluer rigoureusement les affirmations d'avantage quantique.

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

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 d'évolutivité de chaque approche.

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

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

Leçon 3 • Plates-formes à ions piégés et photoniques

Analyse les mécanismes de portes à ions piégés et les schémas d'encodage de qubits photoniques. Met en contraste les temps de cohérence, les vitesses de portes et la connectivité avec les systèmes supraconducteurs.

Leçon 4 • Systèmes de qubits supraconducteurs

Couvre la conception de qubits transmon, le contrôle par micro-ondes et les exigences cryogéniques. Explique pourquoi les plates-formes 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'erreurs 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 directement appliquées aux états quantiques.

Leçon 3 • Théorèmes de seuil et surcharge

Énonce le théorème de seuil et quantifie la surcharge de qubits physiques à 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 comme principal candidat de correction d'erreurs à court terme.

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

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

Leçon 2 • Algorithmes variationnels quantiques

Couvre les algorithmes VQE et QAOA comme approches hybrides classiques-quantiques pour les dispositifs à court terme. Analyse la conception d'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 échéanciers 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 revendiquées et les goulots d'étranglement pratiques de chargement de données.