Les défis de l ordinateur quantique

Transcription

1 Les défis de l ordinateur quantique Frédéric Magniez

2 Vers la nanotechnologie 2 Fin de la loi de Moore? "No exponential is forever. Your job is to delay forever.", Andrew Gordon Moore Feb Phénomènes quantiques vers Approche actuelle : les supprimer Informatique quantique : les utiliser!

3 Le photon 3 Caractéristiques direction longueur d onde polarisation

4 Filtre polarisant 4 50 % 50 % Sortie d un filtre polarisant Lumière polarisée selon la direction du filtre. Lumière parallèle au filtre passe. Lumière orthogonale au filtre ne passe pas. Polarisation diagonale Mélange statistique : NON Superposition quantique!

5 Superposition quantique 5 Etat polarisation superposition : vecteur à 2 dimensions θ = cos θ + sin θ θ Filtre mesure : projection orthonormée θ Mesure cos 2 θ sin 2 θ L observation perturbe le système

6 Evolution quantique 6 Transformations qui préservent la superposition? Condition nécessaire : isométrie Une transformation connue : la lame demionde symétrie orthogonale par rapport à son axe Transformation orthogonales : G O(2) G R 2 2 telle que t GG = Id Orthogonale = Réversible

7 Le qubit 7 Bit classique Element déterministe : Bit probabiliste Distribution probabiliste : avec Bit quantique p, q [0, ] b {0, } d = tels que ( p q) Superposition quantique : ψ C {0,} tel que ψ = p + q = ψ = α 0 + β avec α 2 + β 2 = 0 = = et

8 Evolution du qubit 8 Mesure : lire et modifier α 0 + β Mesure α 2 β 2 0 Transformations unitaires (portes) : G C 2 2 telle que G G = Id G U(2) ψ G ψ = G ψ Unitaire = Réversible ψ = G ψ G ψ

9 Exemples de portes 9 Porte classique réversible Identité b I 2 b Négation b NOT b Porte Hadamard Définition : lame demionde à 22,5 H = ( ) 2 b H 2 ( 0 + ( ) b ) Propriétés : pile ou face quantique 0 H 2 ( 0 + ) Mesure b H H Mesure b La mesure ne commute pas!

10 La supériorité de l informatique quantique 0 Cryptographie Distribution de clés secrètes [BennettBrassard 984] Implémentation : ~00 km Information quantique Paradoxe EPR [EinsteinPodolskyRosen 935] Réalisation : 982 [Orsay] Téléportation [BennettBrassardCrépeauJozsaPeresWootters 993] Réalisation : 997 [Innsbruck] Algorithmique Calcul de périodes [Simon, Shor 994] Factorisation, log. discret... Recherche dans une liste non triée [Grover 996] Implémentation sur combien de qubits? 995 : 2 [ENS], 998 : 3, 2000 : 5 [IBM] 7 [Los Alamos] 2005 : 0 [Waterloo]

11 Programmer quantique sans ordinateur? Rappels Machine de Turing, calculabilité, universalité : [Turing 936] Proposition : EDVAC (Electronic Discrete VAriable Computer) [von Neumann 945] Premier ordinateur : Mark I [RobinsonTootillWilliams 949] Calcul quantique Idée : simulation de systèmes quantiques [Feynman 982] Modèles : Machine de Turing : [Deutsch 985,989], [BernsteinVazirani 993] Circuits quantiques : [Yao 993] Automates cellulaires, Automates finis... Technologie: Première porte : 2 qubits [ENS (Haroche) 995] Premier circuit : 5 qubits [IBM (Chuang) 2000]

12 Cryptage à l aide d une clé privée 2 Onetime pad Message : Clé privée : XOR bit à bit : Théorème : sécurité parfaite si chaque bit de clé est utilisé une seulle fois! Pour une sécurité parfaite, la clé doit être aussi longue que le message... DES Cryptage plus evolué qui permet d utiliser plusieurs fois une même et plus petite clé Sécurité combinatoire : pas de preuve de sécurité mais toujours non cassé En pratique, très sûr si la clé n est pas trop utilisée... Habituellement, la clé privée est générée à l aide d un protocole à clé publique, RSA ou DiffieHellman

13 Distribution quantique de clés 3 Problème Initialement : aucune information secrète entre Alice et Bob A la fin : une clé secrète connue uniquement d Alice et de Bob Situation en classique Tâche impossible, car toute l information est sur le canal Cependant il est possible (outils probabilistes) de : Amplifier le secret d une clé imparfaite, en la réduisant Identifier un message avec une clé secrète Incertidude liée à la mesure Mesure 50 %,, 50 % Impossibilité de clôner Impossible de dupliquer un état inconnu Preuve utilisant la linéarité des transformations Mesure 50 % 50 %

14 Le protocole BB84 [BennettBrassard 84] 4 Protocole: partie quantique Clé : Base : Photons: Base : Photons : Clé : Protocole : partie classique Révélation : Alice et Bob révèle publiquement leurs choix de base A&B ne conserve que les bits avec même choix de base (proba. /2) Aucune observation de la communication A&B ont la même clé! Conclusion Génération de clé sans secrêt initial sur une ligne authentifiée Petite clé secrète grande clé secrète (authentifiée) Sécurité : A&B vérifient quelques bits à des positions aléatoires Amplification de secret (+ identification) l aide de quelques bits de clé

15 Analyse d une attaque (sur un photon) 5 Stratégie Eve observe le photon dans une base Eve renvoie le photon de la polarisation observée Analyse Avec proba. p = 50%, Eve choisit une mauvaise base Donc avec proba. p, Eve observe un bit erroné Et avec proba. p, Bob observe le même bit erroné qu Eve Conclusion Eve apprend correctement le bit avec proba. p + p p = 75% Eve est détectée avec proba. p p = 25%

16 Analyse d une attaque (sur un photon) 6 Stratégie Identique à la Stratégie I, mais toujours la base (π/8, 5π/8) Analyse Avec proba. p = cos 2 (π/8), Eve observe un bit correct Avec proba. p, Bob observe le même bit qu Eve Conclusion Eve apprend correctement le bit avec proba. p = 85% Eve est détectée avec proba. 2 p( p) = 25% Théorème [2000] Le protocole quantique de distribution de clé est inconditionnellement sûr, même sur un canal de communication bruitée (si les loies de la Mécanique Quantique sont correctes)

17 Un premier algorithme quantique 7 Problème Entrée : f : {0,,..., N } {0, } soit constante, soit balancée Sortie : 0 ssi f est constante Contrainte : f est une boîte noire f(3) =? f(3) = Complexité en requêtes Déterministe : Quantique : + N/2

18 Solution quantique ( N = 2) 8 x f(x) n est pas nécessairement réversible! Implémentation de f α 0 + β S f ( ) f(0) α 0 + ( ) f() β Porte de Hadamard : lame demionde à 22,5 b H 2 ( 0 + ( ) b ) Circuit quantique 0 H S f H Mesure?

19 Analyse ( N = 2 ) 9 0 H S f H Mesure f constante? f balancée 0 Initialisation : 0 Parallélisation : 2 ( 0 + ) Appel de la fonction : 2 (( ) f(0) 0 + ( ) f() ) Interférences : (( ) f(0) ( 0 + ) + ( ) f() ( 0 ) ) 2 Au final : ( f(0) (( ) + ( ) f() ) 0 + (( ) f(0) ( ) f() ) ) 2

20 Systèmes à 2qubit 20 Définition ψ C {0,}2 tel que ψ = ψ = α 00 + β 0 + γ 0 + δ avec C {0,}2 = C {0,} C {0,} C {0,} C {0,} α 2 + β 2 + γ 2 + γ 2 = Exemple : = 0 ( 0 + ) 00 + ψ ψ 2 Transformations unitaires : G U(4) ψ G ψ = G ψ Mesure x {0,} 2 α x x Mesure α x 2 x

21 Paradoxe EPR : point de vue informatique 2 Jeu Alice et Bob partagent une information initiale mais ne communiquent pas Alice, resp. Bob, reçoit un bit aléatoire x, resp. y Alice, resp. Bob, retourne un bit a, resp. b x y a b Objectif : maximiser p = Pr(a b = x y) x,y " ! Classiquement Meilleur stratégie déterministe : a = b = 0 = p = 34 Théorème : la meilleure stratégie probabiliste n est pas meilleure que la meilleure stratégie déterministe

22 Paradoxe EPR : point de vue informatique 22 Rappel Objectif : maximiser p = Pr(a b = x y) Alice et Bob partagent une paire EPR x β00! = 2 ( 00! +!) Quantiquement a x,y y b Paradoxe : ce qu observe Alice = ce qu observe Bob Bob effectue une rotation d angle π 8 y\x π Si x =, Alice effectue une rotation d angle 4 Si y =, Bob effectue une rotation d angle π4 Alice et Bob observent leur qubit et renvoie la valeur obtenue Théorème : p = cos2 ( π8 ) 0.85 Réalisation : [AspectGrangierRogerDalibard: Orsay 82] 0 0 β0, π! β π, π! β0, π! β π, π!

23 Téléportation quantique 23 Problème ψ Alice veut transmettre un qubit à Bob Bob : position éloignée et inconnue d Alice Communication possible : classique à sens unique Alice Bob ψ ψ Réalisation Alice 0 0 Bob! Interaction quantique Interaction interne Interaction classique! Alice Bob La communication classique ne révèle rien sur ψ!

24 Le problème des cadenas 24 Problème Entrée : f : {0,,..., N } {0, } telle que Sortie : x 0 Contrainte : f est une boîte noire!x 0 : f(x 0 ) = Complexité en requêtes Probabiliste : Quantique : Θ(N) Θ( N)

25 Remarques préliminaires 25 Implémentation de f x α x x S f x ( ) f(x) α x x = x α x x 2α x0 x 0 Double porte de Hadamard x x 2 H H 2 ( 0 + ( ) x ) 2 ( 0 + ( ) x 2 ) x = x x 2 H H 2 y ( ) x y y avec x y = x y + x 2 y 2 mod 2

26 Solution quantique ( N = 4) 26 0 H 0 H S f H H H S δ0 Mesure x 0 H Initialisation : 00 Parallélisation : ( ) 2 Appel de f : 2 Interférences : 00 2 Regroupement : x 0 x x 0 Appel de δ 0 : 00 2 x x ( ) x 0 y y ( ( ) x0 y y 2 00 ) = H H x 0 x

27 Sur la difficulté de factoriser 27 RSA Challenges RSA640 (93 chiffres) : = x Algorithme RSA (permet de partagé des secrets) difficulté basée sur celle de la factorisation

28 Un problème lié à la factorisation 28 Calcul de l ordre Entrée : n, a N tels que pgcd(a, n) = Sortie : le plus petit entier q 0 tel que a q = Réduction : la période de x a x mod n est q mod n Factorisation Entrée : n N Sortie : un diviseur non trivial de n Réduction : Factorisation Calcul de l ordre Vérifier que pgcd(a, n) = Calculer l ordre q de a mod n Recommencer si q impair ou a q/2 = mod n Sinon (a q/2 )(a q/2 + ) = 0 mod n Renvoyer pgcd(a q/2 ±, n) Théorème [SimonShor 94] R Trouver la période d une fonction quelconque sur un groupe commutatif se résout en temps quantique poly(log G )

29 Le problème de Simon 29 Problème Entrée : f : {0, } n {0, } n telle que s {0, } n : x y, f(x) = f(y) y = x s Sortie : s Contrainte : f est une boîte noire i : y i = x i s i x w U f x w f(x) Complexité Idée 2 Ω(n) Probabiliste : requêtes Quantique : O(n) requêtes et O(n 3 ) opérations Utiliser QFT pour trouver la période s : H H H

30 Solution quantique 30 0 n QFT n QFT n Mesure y : y s U f 0 n Mesure f(x) Initialisation : 0 n 0 n Parallélisation : Appel de f : Filtre : Interférences : 2 n/2 x 2 n/2 x x 0 n 2 ( x + x s ) f(x) 2 (n+)/2 y 2 (n+)/2 y 2 (n )/2 x f(x) y:s y=0 (( ) x y + ( ) (x s) y ) y f(x) ( ) x y ( + ( ) s y ) y f(x) y f(x) y s = 0 χ y (0) + χ y (s) = 0

31 Combien d algorithmes quantiques existetil? 3 Problèmes sans structure Algorithme de Grover 996 Problèmes avec une structure algébrique Algorithme de SimonShor 994 Problèmes très structurés Les algorithmes classiques sont optimaux! Problème un peu structurés Algorithme d Ambainis 2003 utilisation de marches quantiques (analogues des marches aléatoires) Exemples Element Distinctness : Grover 2 O(N 3/4 ), Ambainis O(N 2/3 ) Triangle free : Grover O(N 3/2 ), Ambainis 2 O(N.3 optimal ) sans doute non optimal...

32 D où le quantique tiretil sa supériorité? 32 De l enchevêtrement? L enchevêtrement probabiliste existe Tirer à pile ou face 00 ou Partager chacun des bits entre Alice et Bob Alice/Bob regarde son bit quand il le désire, son résultat est alors corrélé avec celui de Bob/Alice Mais l enchevêtrement quantique est plus fort Paradoxe EPR (violation des inégalités de Bell) Des amplitudes complexes? Non : on peut les simuler par des amplitudes réelles α 0 + β α r 00 + α i 0 + β r 0 + β i Des amplitudes négatives? Oui : car possibilité d interférences destructives De la complexité des amplitudes? Non : les amplitudes doivent être facilement calculables pour être physiquement réalisables 00 U(2 n ) O(2 2n )