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 Collapse

Explique la règle de Born, les bases de mesure et le collapse 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. Information Quantique

Compare 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

Introduit 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 • Jeux de Portes Universelles

Définit l'universalité et prouve que de petits jeux de portes peuvent approximer toute transformation unitaire. Relie la décomposition de portes à la compilation matérielle pratique.

Leçon 2 • Compilation et Optimisation de Circuits

Introduit les règles d'annulation de portes, 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 des fils 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 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 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 Oracle

Explique comment la superposition permet l'évaluation simultanée de fonctions et définit l'abstraction oracle. Prépare le terrain 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 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

Introduit les marches quantiques discrètes et continues ainsi que leurs applications de recherche. Offre un paradigme algorithmique alternatif aux méthodes d'oracle et de Fourier.

Leçon 2 • Théorie de la Complexité pour les Algorithmes Quantiques

Définit 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 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 conditions préalables 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'Erreurs

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

Leçon 3 • Plateformes à Ions Piégés et Photoniques

Analyse les mécanismes de porte par piège ionique et les schémas de codage de qubits photoniques. Compare 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 de qubits 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 Fautes

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

Leçon 2 • Révision de la Correction d'Erreurs Classique

Revient sur 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 du seuil et quantifie la surcharge de qubits physiques en qubits logiques. Relie les taux d'erreur à la faisabilité d'algorithmes à grande échelle tolérants aux fautes.

Leçon 4 • Codes CSS et Code 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 à la correction d'erreurs à court terme.

Leçon 1 • Cryptographie Quantique et Sécurité

Examine la distribution quantique de clés, 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 comme approches hybrides classique-quantique 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 vers des 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 du chargement de données.