Substitut de Communication Par Intrication Quantique (Article de Richard Cleve et Harry Buhrman) IQ – 2006 – Matthieu Castebrunet.

Slides:



Advertisements
Présentations similaires
Analyse des AT Méthode : Outils : Outil qui permet de déterminer
Advertisements

Algorithmes et structures de données avancées Cours 7
INDICATEURS DU DEVELOPPEMENT HUMAIN: SIGNIFICATION ET INTERPRETATION Gilbert AHO Economiste Principal PNUD / Bangui (RCA)
Algorithmes et structures de données avancés
L’ordinateur quantique : rêve ou réalité ?
Les formats Stage – Semaine 4.
Calcul Récursif de la Transformée de Fourier Rapide
15 - Subnetting.
Les K plus proches voisins
Les tests statistiques. Une situation à risques
Introduction à la minimisation logique
II. 2 Les protocoles simples Sommaire 1.Authentification 2.Signature électronique 3.Certification.
Fonctions Booléennes primaires
Présentation Unité de codage
Chapitre II.Rappels mathématiques et complexité
La notation en complément à 2
Eviter l'accident L’ARBRE DES CAUSES.
L’ordinateur Quantique
Commande séquentielle d’un moteur
Contrôle d ’Accès et Hauts Débits
TP math-G-101.
TRAVAIL 3 : PRODUCTION MULTIMÉDIA
Comment réaliser un graphique déchange solide liquide Détermination de x1 Détermination de NET 1 n-12 n G,y0,z0 Ln+1,xn+1 L1,x1 G,yn,zn.
Logique Combinatoire Fonction OUI Fonction NON Fonction ET Fonction OU
Application des algorithmes génétiques
L’ordinateur Quantique : Théorie & Applications
Architecture et technologie des ordinateurs II
1. La formation des compétences
TRANSMISSION DES DONNEES.
Fonction COMMUNIQUER les liaisons série
Programmation fonctionnelle Le langage LISP
Sections sélectionnées du Chapitre 11
La droite dans R2 Montage préparé par : André Ross
Sommations et notation sigma
Analogique-numérique
Vers la dimension 3. La géométrie dans l'espace ne fait qu'étendre les concepts qui vous sont familiers en dimension 2 à la dimension 3. Le plus difficile.
Algorithmes d ’approximation
Cours #7 Vérification d’un modèle VHDL
Introduction au calcul quantique
Notions de calcul quantique
Annexe A: Numérotation binaire
Fonction logique OUI a S 1 a S 1 a S S = a La sortie est toujours
LE MICROSCOPE OPTIQUE Le texte ci-dessous, extrait d'un ouvrage de vulgarisation scientifique, donne une description sommaire du microscope. "La partie.
Page: 1-Ali Walid Gestion de fichiers. Hashing Dynamique et Extensible.
Modélisation avec des solides facette arête sommet Solides paramétriques.
Diviser pour résoudre A. Principe général B. Applications
Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure d’Informatique (ESI)
Équations Logiques État Physique État Électrique État Logique L
Arithmétique Modulaire
Controlled and secure direct communication using GHZ state and teleportation – Ting Gao Estelle GILET M2R III 21/03/06.
Le chiffrement symétrique
4 ) LA LIAISON DANS LE MODÈLE ONDULATOIRE .
Analyse des modes normaux
TP math-G-101.

Le codage des nombres binaires
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Vérification de circuits.
Les booléens Notions et fonctions.
Calcul parallèle => partitionner les données en sous-groupes associés aux processeurs. P0 P2 P1.
Informatique Quantique
[Title of the course] Cisco CCNA 1 Campus-Booster ID : 318
Pr BELKHIR Abdelkader USTHB
Programmation fonctionnelle Preuve
Dans le modèle ondulatoire de l ’atome, à une combinaison des trois nombres quantiques n, l et m , correspond : un niveau d ’énergie une orbitale atomique.
Structures de données avancées : LH* D. E ZEGOUR Institut National d ’Informatique.
Avantages & intérêts  Résolution d’algorithmes complexes et/ou longs  P = NP  Déchiffrage de la cryptographie  Casser les clefs de cryptage  Réduction.
Cours de Systèmes de Gestion de Données - Licence MIAGE – 2003/20041 Cours n°2 La conception d ’un schéma relationnel (suite) Chantal Reynaud Université.
L’évaluation par compétences en STI2D Avril 2014 évaluation par compétences en lycée.
Calcul réfléchi 4 Diviser par 5. :10 53 X 2 5,310,6 Pour diviser un nombre par 5, on le divise par 10 puis on multiplie par 2.
Transcription de la présentation:

Substitut de Communication Par Intrication Quantique (Article de Richard Cleve et Harry Buhrman) IQ – 2006 – Matthieu Castebrunet

Sommaire Introduction Introduction Question Question Réponse et explication 1 Réponse et explication 1 Réponse et explication 2 Réponse et explication 2 Apport supplémentaire Apport supplémentaire Conclusion Conclusion

Introduction Physique classique : Physique classique : phénomène d'intrication => communication phénomène d'intrication => communication Physique quantique : Physique quantique : pas de communication, pas même simulée pas de communication, pas même simulée Exemple Exemple f(x, y) = x 1 + · · · + x n + y 1 + · · · + y n => 1 bit transféré f(x, y) = x 1 · y 1 + · · · + x n · y n => n bits transférés Complexité de communication de f Complexité de communication de f

Question Est-ce que l'intrication peut réduire la complexité de communication de f ? Considérations Considérations Réponses pour n 3 : Réponses pour n 3 : => avec intrication, 2 bits sont suffisants => sans intrication, 3 bits sont nécessaires => sans intrication, 3 bits sont suffisants

Réponse et explication 1 Avec intrication, 2 bits sont suffisants L'intrication concerne 3n qubits, n pour chacune des parties A(lice), B(ob) et C(arol) L'intrication concerne 3n qubits, n pour chacune des parties A(lice), B(ob) et C(arol) Notation : Notation : Les N bits d'entrée de Y sont notés xY = xY 1, …, xY n Les N qubits de Y sont notés qY 1, …, qY n Pour chaque i, le triplet qA i, qB i, qC i est dans l'état: Pour chaque i, le triplet qA i, qB i, qC i est dans l'état: ½ (|001> + |010> + |100> - |111>)

Réponse et explication 1 Avec intrication, 2 bits sont suffisants But de A : Calculer f(xA, xB, xC) But de A : Calculer f(xA, xB, xC) Protocole : Protocole : Pour chaque partie P dans {A, B, C} Pour chaque i de {1, …, n} Pour chaque i de {1, …, n} Si xPi = 0 Alors appliquer H à qPi(H: Hadamard) sPi = Mesurer qPi (base standard) sP = sP1 + … + sPn(+ mod 2) sP = sP1 + … + sPn(+ mod 2) B (resp. C) envoie sB (resp. sC) à A A calcule sA + sB + sC Selon la condition originale, xA + xB + xC = 1 Selon la condition originale, xA + xB + xC = 1 On a sA + sB + sC = f(xA, xB, xC)

Réponse et explication 1 Avec intrication, 2 bits sont suffisants Preuve : Preuve : sA + sB + sC = f(xA, xB, xC) car sAi + sBi + sCi = xAi xBi xCi sA + sB + sC = f(xA, xB, xC) car sAi + sBi + sCi = xAi · xBi · xCi Selon condition originelle, xAi xBi xCi {001, 010, 100, 111} Cas 111 : Pas de H appliquée à qAi, qBi ou qCi, donc |qAi qBi qCi> est mesuré dans l'état : ½ (|001> + |010> + |100> - |111>) => sAi + sBi + sCi = 1 = xAi xBi xCi => sAi + sBi + sCi = 1 = xAi · xBi · xCi Cas 001 (et par symétrie, 010 et 100) : |qAi qBi qCi> est mesuré dans l'état : |qAi qBi qCi> est mesuré dans l'état : H H I ( ½ (|001> + |010> +|100> +|111>)) = ½ (|011> + |101> + |000> - |110>) => sAi + sBi + sCi = 0 = xAi xBi xCi => sAi + sBi + sCi = 0 = xAi · xBi · xCi

Réponse et explication 2 Sans intrication, 3 bits sont nécessaires Principe : Prouver que 2 bits ne suffisent pas. Principe : Prouver que 2 bits ne suffisent pas. Avec deux bits, seule solution enviseageable : B broadcast 1 bit à A et C, puis C envoie un bit à A. Solution : partitionner l'espace des possibilités de chacun en deux sous-groupes et communiquer l'indice de ce sous- groupe ( 0 ou 1) Solution : partitionner l'espace des possibilités de chacun en deux sous-groupes et communiquer l'indice de ce sous- groupe ( 0 ou 1) B communique son sous-groupe à A et C. B communique son sous-groupe à A et C. C doit pouvoir envoyer un bit qui permette à A de déterminer le résultat du calcul. C doit pouvoir envoyer un bit qui permette à A de déterminer le résultat du calcul. => Dans toutes les situations, il y a ambiguité pour A sur les données de C ou C ne peut pas construire de partition binaire permettant d'indiquer son résultat.

Apport supplémentaire Sans intrication, 3 bits sont suffisants Idée : Compter le nombre de 0 total dans toutes les 3n entrées (Ce nombre est pair selon la condition originelle) Idée : Compter le nombre de 0 total dans toutes les 3n entrées (Ce nombre est pair selon la condition originelle) Si xi yi zi = 1 alors pas de 0 dans {xi yi zi } Si xi · yi · zi = 1 alors pas de 0 dans {xi, yi, zi } Si xi yi zi = 0 alors deux 0 dans {xi yi zi } (cf. xi+yi+zi =1) Si xi · yi · zi = 0 alors deux 0 dans {xi, yi, zi } (cf. xi+yi+zi =1) Np est le nombre de 0 dans xP (Na + Nb + Nc =2k, où k est le nombre total de termes égal à 0 dans {x1y1z1, …,xnynzn} ) Np est le nombre de 0 dans xP (Na + Nb + Nc =2k, où k est le nombre total de termes égal à 0 dans {x1 · y1 · z1, …,xn · yn · zn} ) A peut calculer f(x, y, z) = (n-k) mod 2 avec uniquement la parité de k. B et C peuvent envoyer le mod 4 de leur N (4bit tranférés). A peut calculer f(x, y, z) = (n-k) mod 2 avec uniquement la parité de k. B et C peuvent envoyer le mod 4 de leur N (4bit tranférés). Comme on a parité du nombre de 0, l'un des deux peux envoyer seulement le bit de poids fort => 3 bits transférés Comme on a parité du nombre de 0, l'un des deux peux envoyer seulement le bit de poids fort => 3 bits transférés

Conclusion Dans certains cas, l'intrication permet de réduire la complexité de communication d'une fonction à données réparties Dans certains cas, l'intrication permet de réduire la complexité de communication d'une fonction à données réparties L'approche de l'intrication Quantique ne simule pas une communication L'approche de l'intrication Quantique ne simule pas une communication Classique / Quantique Classique / Quantique