Formation d'ingénieur en informatique quantique

Leçon 1 • Algèbre linéaire pour les états quantiques

Couvre les vecteurs, les matrices, les produits scalaires et les produits tensoriels comme outils pour les états quantiques. Fournit la base algébrique pour toutes les opérations quantiques subséquentes.

Leçon 2 • Mesure quantique et effondrement

Définit les mesures projectives et POVM ainsi que leurs résultats statistiques. Ancre les étudiants dans la nature irréversible de la mesure avant la conception de circuits.

Leçon 3 • Fondamentaux de l’intrication quantique

Présente les états intriqués, les états de Bell et les corrélations non locales. Prépare les étudiants à utiliser l’intrication comme ressource de calcul et de communication.

Leçon 4 • Information classique vs information quantique

Oppose les bits aux qubits et l’incertitude probabiliste à l’incertitude quantique. Établit pourquoi les paradigmes classiques de calcul sont insuffisants pour les problèmes quantiques.

Leçon 1 • Ensembles de portes universels et décomposition

Définit l’universalité et prouve que de petits ensembles de portes peuvent approximer toute transformation unitaire. Permet aux étudiants de compiler des opérations arbitraires en portes natives du matériel.

Leçon 2 • Complexité et profondeur des circuits quantiques

Analyse la profondeur du circuit, le nombre de portes et leur impact sur le bruit et le temps d’exécution. Fournit des métriques que les étudiants utilisent pour évaluer et optimiser les conceptions de circuits.

Leçon 3 • Techniques de simulation de circuits quantiques

Passe en revue les méthodes de simulation par vecteur d’état, matrice de densité et réseau tensoriel. Équipe les étudiants pour valider les circuits classiquement avant l’exécution sur matériel.

Leçon 4 • Portes à un qubit et rotations

Couvre les portes de Pauli, Hadamard, phase et rotation comme opérateurs unitaires. Établit les règles de composition de portes nécessaires à la construction de circuits plus grands.

Leçon 1 • Algorithme de factorisation de Shor

Combine la recherche d’ordre avec la QFT pour factoriser des entiers en temps polynomial. Illustre les implications cryptographiques qui motivent l’investissement dans le matériel quantique.

Leçon 2 • Transformée de Fourier quantique

Dérive le circuit QFT à partir de la DFT classique et analyse son accélération exponentielle. Sert de fondement de sous-routine pour l’estimation de phase et l’algorithme de Shor.

Leçon 3 • Algorithmes variationnels quantiques

Présente le VQE et le QAOA comme méthodes d’optimisation hybrides classiques-quantiques. Fait le pont entre les contraintes matérielles à court terme et les applications algorithmiques pratiques.

Leçon 4 • Estimation de phase quantique

Implémente l’estimation de phase quantique (QPE) pour extraire les valeurs propres d’opérateurs unitaires avec une haute précision. Permet directement la factorisation de Shor et l’estimation d’énergie en chimie quantique.

Leçon 1 • Métriques de rendement du matériel quantique

Définit les temps T1, T2, la fidélité des portes et le volume quantique comme normes d’analyse comparative. Permet aux ingénieurs de comparer les générations de matériel et les spécifications des fournisseurs.

Leçon 2 • Processeurs quantiques à ions piégés

Décrit les chaînes d’ions refroidis par laser, les modes motionnels et les portes de Mølmer-Sørensen. Met en évidence la haute fidélité et la connectivité tous-à-tous comme avantage matériel.

Leçon 3 • Systèmes de qubits supraconducteurs

Explique les qubits transmon, les jonctions Josephson et le contrôle par micro-ondes. Couvre la plateforme commerciale dominante et ses caractéristiques de fidélité des portes.

Leçon 4 • Plateformes photoniques et à atomes neutres

Passe en revue les qubits optiques linéaires et les réseaux d’atomes de Rydberg comme modalités alternatives. Lie les propriétés des plateformes à des cas d’utilisation algorithmiques et de réseautage spécifiques.

Leçon 1 • Codes stabilisateurs et formalisme

Introduit le cadre du groupe stabilisateur pour décrire les codes quantiques de manière compacte. Couvre les codes de Steane et à cinq qubits comme exemples canoniques de stabilisateurs.

Leçon 2 • Tolérance aux pannes et théorèmes de seuil

Définit les ensembles de portes tolérants aux pannes et le théorème du seuil de précision. Quantifie le taux d’erreur physique nécessaire pour réaliser un calcul logique évolutif.

Leçon 3 • Codes de surface et protection topologique

Explique le réseau du code de surface, les opérateurs de plaquette et les modèles d’erreur anyoniques. Met en évidence le code de surface comme principal candidat pour le matériel tolérant aux pannes.

Leçon 4 • Correction d’erreurs classique vs quantique

Oppose les codes de répétition aux codes quantiques respectant le théorème de non-clonage. Motive le besoin de mesure de syndrome sans perturbation de l’état.

Leçon 1 • Classes de complexité quantique

Définit BQP, QMA et leurs relations avec les classes de complexité classiques. Fournit le cadre théorique pour évaluer les affirmations d’avantage quantique.

Leçon 2 • Patrons de conception et techniques algorithmiques

Synthétise l’amplification d’amplitude, l’estimation de phase et le codage par blocs comme primitives réutilisables. Permet aux étudiants de construire de nouveaux algorithmes à partir de blocs de construction composables.

Leçon 3 • Complexité de requête et modèles d’oracle

Introduit le modèle de requête, les arbres de décision et la méthode polynomiale pour les bornes inférieures. Équipe les étudiants pour prouver que les algorithmes quantiques sont optimalement efficaces.

Leçon 4 • Algorithmes d’algèbre linéaire quantique

Couvre l’algorithme HHL pour les systèmes linéaires et la transformation quantique de valeurs singulières. Aborde les goulots d’étranglement d’entrée/sortie qui limitent l’avantage quantique pratique.

Leçon 1 • Passes de compilation quantique et optimisation

Explique les étapes de transpilation, y compris les passes de déroulage, de routage et d’ordonnancement. Permet aux étudiants de régler la compilation pour la fidélité ou la profondeur sur le matériel cible.

Leçon 2 • Aperçu des cadriciels de programmation quantique

Passe en revue les principaux SDK libres et leurs couches d’abstraction pour la construction de circuits. Oriente les étudiants vers l’écosystème avant le début de la programmation pratique.

Leçon 3 • Flux de travail hybrides quantiques-classiques

Conçoit des pipelines de bout en bout combinant des sous-routines quantiques avec du traitement classique. Prépare les étudiants à construire des applications hybrides de qualité production.

Leçon 4 • Écrire et exécuter des circuits quantiques

Guide les étudiants dans la construction de circuits, la liaison de paramètres et la soumission de travaux. Développe une aisance pratique en programmation appliquée tout au long des chapitres suivants.

Leçon 1 • Conception d’architecture de système quantique

Cartographie la pile complète, des qubits physiques à la couche applicative, et identifie les goulots d’étranglement. Fournit une perspective d’ingénierie des systèmes pour la conception de plateformes quantiques évolutives.

Leçon 2 • Feuilles de route quantiques et préparation à la production

Évalue les feuilles de route matérielles, les trajectoires de taux d’erreur et les jalons de tolérance aux pannes. Permet aux ingénieurs de prendre des décisions éclairées en matière d’adoption technologique et d’investissement.

Leçon 3 • Méthodes d’analyse comparative et de caractérisation

Applique l’analyse comparative randomisée, la tomographie de processus et l’analyse comparative par entropie croisée. Permet une validation rigoureuse du rendement avant et après le déploiement.

Leçon 4 • Évolutivité et estimation des ressources

Estime le nombre de qubits logiques, les usines d’états magiques et le temps d’exécution pour les applications cibles. Fait le pont entre l’analyse théorique des algorithmes et la planification réaliste des ressources matérielles.