Formation 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 le socle algébrique pour toutes les opérations quantiques ultérieures.

Leçon 2 • Mesure quantique et effondrement

Définit les mesures projectives et POVM ainsi que leurs résultats statistiques. Initie les étudiants à 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. quantique

Compare les bits aux qubits et la probabilité classique à l'incertitude quantique. Établit pourquoi les paradigmes de calcul classique sont insuffisants pour les problèmes quantiques.

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

Définit l'universalité et prouve que de petits jeux 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 des circuits, 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 densité et réseau de tenseurs. Permet aux étudiants de valider les circuits de manière classique avant l'exécution sur matériel.

Leçon 4 • Portes à un qubit et rotations

Couvre les portes de Pauli, Hadamard, de phase et de rotation en tant qu'opérateurs unitaires. Établit les règles de composition des 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 base de sous-programme pour l'estimation de phase et l'algorithme de Shor.

Leçon 3 • Algorithmes variationnels quantiques

Présente VQE et 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 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 performance du matériel quantique

Définit T1, T2, la fidélité des portes et le volume quantique comme normes de référence. 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 Molmer-Sorensen. Met en évidence la connectivité haute fidélité de type « tous avec tous » comme un avantage matériel.

Leçon 3 • Systèmes à 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 à photons et atomes neutres

Passe en revue les qubits optiques linéaires et les réseaux d'atomes de Rydberg comme modalités alternatives. Relie les propriétés des plateformes à des cas d'utilisation spécifiques en algorithmique et en réseau.

Leçon 1 • Codes stabilisateurs et formalisme

Présente 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 fautes et théorèmes de seuil

Définit les jeux de portes tolérants aux fautes et le théorème du seuil de précision. Quantifie le taux d'erreur physique requis pour obtenir un calcul logique passant à l'échelle.

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 le candidat principal pour le matériel tolérant aux fautes.

Leçon 4 • Correction d'erreurs classique vs. quantique

Compare 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 l'encodage par blocs comme primitives réutilisables. Permet aux étudiants de construire de nouveaux algorithmes à partir de briques composables.

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

Présente le modèle de requête, les arbres de décision et la méthode polynomiale pour les bornes inférieures. Permet aux étudiants de 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 de valeurs singulières quantique. Aborde les goulots d'étranglement d'entrée/sortie qui limitent l'avantage quantique pratique.

Leçon 1 • Passes de compilation et optimisation quantiques

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

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

Passe en revue les principaux SDK open-source et leurs couches d'abstraction pour la construction de circuits. Oriente les étudiants vers l'écosystème avant de commencer le codage pratique.

Leçon 3 • Workflows hybrides quantiques-classiques

Conçoit des pipelines de bout en bout combinant des sous-programmes 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 codage appliquée dans tous les 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 système pour la conception de plateformes quantiques passant à l'échelle.

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

Évalue les feuilles de route matérielles, les trajectoires de taux d'erreur et les jalons de tolérance aux fautes. 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 de référencement et de caractérisation

Applique le référencement aléatoire, la tomographie de processus et le référencement par entropie croisée. Permet une validation rigoureuse des performances avant et après le déploiement.

Leçon 4 • Passage à l'échelle 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 algorithmique théorique et la planification réaliste des ressources matérielles.