Master · Informatique avancée

◈ Mécanique quantique · Algorithmes · Cryptographie ◈

Informatique
Quantique

|ψ⟩ = α|0⟩ + β|1⟩   ·   |α|² + |β|² = 1

L'informatique quantique exploite les principes de la mécanique quantique — superposition, intrication et interférence — pour résoudre certains problèmes exponentiellement plus vite que les ordinateurs classiques.

—
Algorithme de Shor
—
IBM Condor (2023)
—
Avantage Quantum (Google 2024)
—
Marché QC 2030
⚛️
01

Fondements de la mécanique quantique

Superposition

Superposition quantique

Un qubit peut être dans une superposition linéaire de |0⟩ et |1⟩ simultanément. |ψ⟩ = α|0⟩ + β|1⟩ avec |α|²+|β|²=1. La mesure force l'effondrement dans l'un ou l'autre état. N qubits représentent 2ᴺ états simultanément.

Intrication

Intrication quantique (Entanglement)

Corrélations quantiques non-classiques entre qubits. État de Bell : |Φ⁺⟩ = (|00⟩+|11⟩)/√2. La mesure d'un qubit affecte instantanément son partenaire (non-localité). Base de la téléportation quantique et de la QKD.

Interférence

Interférence quantique

Les amplitudes de probabilité s'additionnent algébriquement (constructive ou destructive). Les algorithmes quantiques amplifient les chemins menant à la bonne réponse et annulent les mauvais. Mécanisme fondamental de l'avantage quantique.

Mesure

Postulat de mesure

La mesure d'un observable effondre l'état quantique sur un vecteur propre. Résultat probabiliste (bornRule). L'état post-mesure est l'état effondré. Destructif pour la superposition : on ne peut pas copier un état quantique inconnu (théorème no-cloning).

Représentation sphère de Bloch
|ψ⟩ = cos(θ/2)|0⟩ + e^(iφ) sin(θ/2)|1⟩   θ ∈ [0,π], φ ∈ [0,2π]

Tout état pur d'un qubit correspond à un point sur la sphère de Bloch. Le pôle Nord = |0⟩, pôle Sud = |1⟩. Les rotations sur la sphère = portes quantiques à un qubit.

🔵
02

Qubits & Circuit quantique

Portes 1 qubit

Hadamard, X, Y, Z, Rθ

Hadamard H : |0⟩→(|0⟩+|1⟩)/√2 — crée la superposition. Pauli X (NOT), Y, Z (phase flip). Portes de rotation Rx/Ry/Rz(θ). Phase S, T. Toutes les portes = matrices unitaires 2×2. H = (1/√2)[[1,1],[1,-1]].

Portes 2 qubits

CNOT, SWAP, CZ, Toffoli

CNOT : inverse le target si control=|1⟩. Universelle avec H. CZ : phase flip si les deux sont |1⟩. SWAP : échange 2 qubits. Toffoli (CCNOT) : CNOT contrôlé par 2 qubits — universelle classique + quantique. Base de l'arithmétique quantique.

Circuits

Architecture de circuit quantique

Registre de qubits initialisés à |0⟩ → séquence de portes → mesures. Profondeur de circuit = critique pour les systèmes bruités (NISQ). Transpilation : adapter le circuit au hardware cible (topology, native gates). Qiskit, Cirq, PennyLane.

Porte CNOT (Controlled-NOT)
CNOT = [[1,0,0,0],[0,1,0,0],[0,0,0,1],[0,0,1,0]]   ·   |c,t⟩ → |c, t⊕c⟩

Le bit cible est inversé (XOR) si et seulement si le bit de contrôle est dans l'état |1⟩. Avec la porte H, CNOT crée les états de Bell (intrication).

⚡
03

Algorithmes quantiques

AlgorithmeAuteurAvantageApplication
Deutsch-JozsaDeutsch & Jozsa (1992)Exponentiel (promesse)Preuve de principe — constant vs balancée
SimonSimon (1994)Exponentiel (oracle)Analyse de structure de groupe caché
ShorShor (1994)Sous-exponentiel (poly)Factorisation → casse RSA/ECC
GroverGrover (1996)Quadratique (√N)Recherche non structurée, optimisation
QFT (Quantum Fourier Transform)Coppersmith (1994)Exponentiel vs FFTSous-routine de Shor, estimation de phase
HHLHarrow-Hassidim-Lloyd (2009)Exponentiel (conditionnel)Systèmes d'équations linéaires
VQEPeruzzo et al. (2014)NISQ — hybrideChimie quantique, matériaux
QAOAFarhi et al. (2014)NISQ — hybrideOptimisation combinatoire (MaxCut, TSP)
Algorithme de Grover — Accélération quadratique
Classique : O(N) requêtes   ·   Grover : O(√N) requêtes

Pour une base de données de N éléments non triés, Grover trouve l'élément cible en O(√N) appels à l'oracle. Exemple : N=10⁶ → classique 10⁶ étapes, Grover 1000 étapes. La borne basse est prouvée optimale pour les algorithmes quantiques de recherche.

🔬
04

Technologies matérielles

Supraconducteur

Qubits supraconducteurs

Circuits Josephson refroidis à ~15 millikelvin (−273.1°C). IBM Quantum, Google Quantum AI. IBM Condor : 1 121 qubits (2023). IBM Heron (2023) : 133 qubits, erreurs réduites de 5×. Décoherence T1/T2 : quelques µs à ms.

Ionique

Ions piégés (Trapped Ions)

Ions individuels piégés par champs électromagnétiques, manipulés par lasers. Fidelité très haute (>99.9%). IonQ, Quantinuum (H2 : 32 qubits, fidelité record). Meilleure qualité mais scalabilité difficile. T2 = plusieurs minutes.

Photonique

Qubits photoniques

Photons encodent l'information quantique (polarisation, chemin). Opère à température ambiante. PsiQuantum, Xanadu (GBS — Gaussian Boson Sampling). Avantage : interconnexion quantique naturelle (fibres optiques). Défi : portes déterministes difficiles.

Atomes neutres

Atomes neutres (Rydberg)

Atomes refroidis par laser organisés en registres 2D/3D (tweezers optiques). QuEra, Pasqal, Atom Computing. 256 atomes (Harvard, 2021). Connectivité flexible, reconfigurations. États de Rydberg pour les interactions contrôlées.

Spin

Spins électroniques / nucléaires

Spin d'électrons ou noyaux dans des semi-conducteurs (silicium, diamant — centres NV). Intel, QuTech. Compatibilité avec la fabrication CMOS. Très petits, potentiellement scalables. Manipulation par champs magnétiques RF. T2 long dans le silicium pur.

Annealers

Quantum Annealing (D-Wave)

Minimisation adiabatique d'une fonction de coût mappée sur un problème d'Ising. D-Wave Advantage : 5000 qubits, connectivité Pegasus. Pas universel. Applications : optimisation logistique, portefeuilles financiers, apprentissage automatique. Controversé sur l'avantage quantique réel.

🛡️
05

Correction d'erreurs quantique

⚠️ L'ère NISQ vs le calcul tolérant aux erreurs

Les machines actuelles sont NISQ (Noisy Intermediate-Scale Quantum) : 50–1000 qubits bruités, sans correction d'erreurs complète. La correction d'erreurs quantique (QEC) nécessite des qubits logiques composés de nombreux qubits physiques (ratio ~1000:1). L'avantage quantique pratique dépend du passage à l'échelle avec QEC.

Code de surface

Surface Code

Organisation en grille 2D des qubits physiques. Syndrome de mesure détecte les erreurs sans effondrer l'état. Threshold d'erreur ~1%. Google a démontré sur 49 qubits que la fidelité croît avec la taille du code (Nature, 2023). Nécessite ~1000 qubits physiques par qubit logique.

Stabilisateurs

Formalisme des stabilisateurs

Code de Shor (9 qubits), code de Steane (7 qubits), code de Calderbank-Shor-Steane (CSS). Codes LDPC quantiques (qLDPC) : encodage plus efficace. La correction d'erreurs quantique est possible grâce au théorème de seuil : si le taux d'erreur physique est sous le seuil, le calcul logique peut être arbitrairement fiable.

Distillation

Distillation magique & portes T

Les portes transversales dans les codes stabilisateurs ne permettent pas toutes les portes universelles. La porte T doit être réalisée par « distillation magique » : coûteuse en ressources. Algorithme de Bravyi-Haah réduit ce coût. Critique pour la tolérance aux erreurs universelle.

🔭
06

Applications quantiques

Chimie

Simulation moléculaire

Simulation exacte de molécules complexes (N-corps fermioniques). Applications : découverte de médicaments (protéines repliées), catalyseurs industriels (Haber-Bosch), batteries Li-ion. VQE sur IBM Quantum : énergie fondamentale H₂. Avantage potentiel le plus robuste à court terme.

Optimisation

Optimisation combinatoire

QAOA pour MaxCut, voyageur de commerce, planification de flotte, optimisation financière (portfeuille Markowitz). Annealing (D-Wave) pour chaînes logistiques. Avantage quantique sur les instances pratiques : encore à prouver. Comparaison honnête difficile.

Finance

Monte Carlo quantique

Quantum Amplitude Estimation : accélération quadratique des simulations Monte Carlo. Pricing d'options, calcul de VaR, optimisation de risque. Goldman Sachs, JP Morgan, BBVA investissent dans la R&D quantique. Horizon pratique : 5–10 ans.

ML Quantique

Quantum Machine Learning

Quantum Neural Networks (QNN), Quantum SVMs, quantum kernel methods. HHL pour régression linéaire. Résultats mitigés : dequantification de certains algorithmes (Tang 2018) remet en cause les avantages. PennyLane, TensorFlow Quantum. Domaine actif mais controversé.

🔐
07

Impact sur la cryptographie

⚠️ Menace de Shor sur la cryptographie classique

L'algorithme de Shor (1994) factorise en O(log³n) sur un ordinateur quantique — rendant RSA, DSA, ECDSA et Diffie-Hellman obsolètes. Grover réduit la sécurité des chiffrements symétriques de moitié (AES-128 → 64 bits effectifs). Urgence de migrer vers la cryptographie post-quantique.

NIST PQC

Standards post-quantiques (2024)

FIPS 203 : ML-KEM (Kyber) — encapsulation basée LWE. FIPS 204 : ML-DSA (Dilithium) — signatures Module-LWE. FIPS 205 : SLH-DSA (SPHINCS+) — signatures hash-based. FALCON (FN-DSA) en cours. Migration recommandée dès maintenant pour les données à long terme.

QKD

Distribution quantique de clés (QKD)

BB84 (Bennett & Brassard 1984) : distribution de clés par photons polarisés. Sécurité inconditionnelle basée sur les lois de la physique (no-cloning). Toshiba : QKD sur 600 km fibre (2021). Réseau QKD Chine-Europe. Limite : portée, infrastructure coûteuse.

Harvest Now

Menace HNDL

« Harvest Now, Decrypt Later » : adversaires stockent les communications chiffrées classiques aujourd'hui pour les déchiffrer avec un futur ordinateur quantique. Données sensibles à durée de vie >10 ans (gouvernements, santé, industrie) doivent migrer immédiatement vers PQC.

🏆
08

État de l'art & acteurs

ActeurTechnologieQubits (2024)Jalon notable
IBM QuantumSupraconducteur1 121 (Condor)Quantum Volume 2¹⁹, réseau cloud 150+ systèmes
Google QAISupraconducteur70 (Sycamore)Suprématie quantique 2019, surface code 2023
IonQIons piégés35 (Forte)#AQ record, fidelité >99.5%
QuantinuumIons piégés (Honeywell)56 (H2)QCCD architecture, fidelité 2 qubits 99.9%
QuEra (Harvard)Atomes neutres Rydberg256QEC démontré avec 48 qubits logiques (2023)
PsiQuantumPhotonique (Si)—1M qubits physiques via CMOS (objectif 2026)
D-WaveAnnealing5 000 (Advantage)Avantage démontré sur instabilité magnétique 2024

SDK & Plateformes

Qiskit (IBM) Cirq (Google) PennyLane (Xanadu) Braket (Amazon) Q# (Microsoft) Quipper OpenQASM 3.0 TensorFlow Quantum