informatique quantique alain tapp laboratoire dinformatique théorique et quantique université de...

67
Informatique quantique Alain Tapp Laboratoire d’informatique théorique et quantique Université de Montréal Septembre 2008

Upload: philippine-gautier

Post on 04-Apr-2015

110 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Informatique quantique

Alain TappLaboratoire d’informatique théorique et quantique

Université de MontréalSeptembre 2008

Page 2: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

ENIAC 1946

Electrical Numerical Integrator And Calculator

Page 3: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Poids: 30 tonnes Mémoire: 80 octets Vitesse: 357 FLOPS Prix: 487000$US

ENIAC 1946

Page 4: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Popular Mechanics, 1949

Where a calculator on the ENIAC is equipped with 18,000 vacuum tubes and weighs 30 tons, computers in the future may have only 1,000 vacuum tubes and weigh only 1.5 tons.

Page 5: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

PS3

Page 6: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Poids: 5 kg Mémoire: 536 870 912 Octets

(512M) Vitesse: 2 000 000 000 000 FLOPS Prix: 400$US

PS3

Page 7: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Coût par FLOPS

ENIAC: 14750$US

PS3: 0.00000000020$US

Les coups sont en dollard US 2005

La baisse de cout est d’un facteur 590 000 000 000 000.

Cela correspond a une division par deux tout les 16 mois.

Page 8: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Loi de MooreSi la tendance se maintient, en 2025 les transistors auront la taille d’un atome.

Page 9: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Un bit au niveau atomique.

Qubit

0 1

Page 10: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Qubit: polarisation de photons

0 1

Page 11: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Qubits

2

10 =

=

=

=

+

-2

10

Page 12: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Qubits

2

10+

Page 13: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

=

En général

1sin0cos

Page 14: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Impossible

Page 15: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Impossible

Page 16: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Possible

)(sin 2

0

1

Probabilité

)(cos2

L’état est détruit lors de la mesure.

Page 17: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

États distinguables

0

12

10

versus versus versus

2

10 1

2

30

2

1

12

10

2

3

Page 18: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Photons

Un photon peut être caractérisé par sa position sa longueur d’onde (couleur) sa polarisationLa polarisation d’un photon peut être vue comme son angle d’oscillation. Nous ne considérerons que les polarisations linéaires mais si on considère toutes les polarisations on obtient exactement un qubit.

Page 19: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

2

10

2

10

0 1

Polarisation linéairede photons

=

1sin0cos

Page 20: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Création et mesure de qubit

1)sin(0)cos( Source

1,0m

On peut facilement créer un photon avec une certaine polarisation linéaire. Il existe des appareils pouvant détecter les photons un à un.

Page 21: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Filtres polarisants

0)(cos2prob

)(sin 2prob

1sin0cos

rien1sin0cos

Source

Source

Page 22: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Filtres polarisants

))((cos2 prob

))((sin2 prob

1sin0cos

rien

1sin0cos

1sin0cos

Source

Source

Page 23: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Un anti-obstacle

Source

2

0

0m

rien

0)1( mprob

0

Page 24: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Un anti-obstacle

Source

2

0

0m

rien

?0)1( mprob

0

Ajouter un obstacle…

Page 25: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Un anti-obstacle

Source

2

0

1,0m

4

100% 50% 25%

4

1)4(cos)1(

22

mprob

02

10 1

Page 26: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Un anti-obstacle

Source

2

0

1,0m

6

3

64

27)6(cos)1(

32

mprob

100% 75% 56% 42%

Page 27: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Un anti-obstacle

Source n

0

1m

n2

2

1)

2(cos)1( 2

n

n nmprobLimit

30 1

Page 28: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Miroir dépolis

1,01 m

1,02 m 0)(2

1)1()0(

2

1)1()0(

21

22

11

mmprob

mprobmprob

mprobmprob

Source

Page 29: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Source

Miroir 1,01 m

1,02 m4

1)1()1(

2

1)1(

21

3

mprobmprob

mprob

1,03 m

Exactement un détecteur observe le photon

Page 30: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Source

1,01 m

1,02 m

1,03 mMiroir

4

1)1()1(

2

1)1(

21

3

mprobmprob

mprob

Exactement un détecteur observe le photon

Page 31: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Source

Miroir

Miroir

1,01 m

1,02 m

0)1()0(

1)0()1(

21

21

mprobmprob

mprobmprob

Page 32: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Mesures non intrusive

Supposons qu’un terroriste prétend qu’il a une bombe sensible à la lumière. Cette bombe et tellement sensible qu’un seul photon la fera exploser. Peut-on détecter sa position sans déclancher une explosion.

Page 33: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Source

Miroir

Miroir

1,01 m

1,02 m

1)0()1( 21 mprobmprob

Bombe photo sensible

Si il n’y a pas de bombe alors

4

1)1()1(

2

1)(

21

mprobmprob

boomprobSi il y a une bombe alors

Page 34: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Cryptographie quantique

Le masque jetable est un système parfait.

Clef secrète aussi longue que le message.

Une seule utilisation de la clef. Problème, comment échanger les

clefs? Aucune solution classique parfaite. Quantum Key Distribution (QKD)

Page 35: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

1984

Invention de la cryptographie quantiquePar Gilles Brassard et Charles Bennett.

Page 36: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

QKD

0 1

Alice produit Bob mesure

Page 37: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

QKD

2

10,4

,1,1

2

10,4

,1,0

1,2

,0,1

0,0,0,0

ii

ii

ii

ii

bx

bx

bx

bx

Source

Alice Bob

myc

myc

ii

ii

,2

,1

,0,0

1,0m

Page 38: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Cryptographie quantique

C. H. Bennett, F. Bessette, G. Brassard, L. Salvail, J. Smolin.

1992: 30 cm.

Page 39: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

GAP-Optique « Plug and play »

Caractéristiques:• Premier appareil commercial (QKD). • Jusqu’à 60 km de distance.• Taux de 1000 bits/s.• Petit et fiable. Nicolas Gisin

Page 40: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

QKD

1984, invention de la cryptographie quantique par Charles Bennett et Gilles Brassard.

1992, première expérience sur 30 cm. 1993, 1 km puis 10 km, fibre. 1996, 23 km, fibre. 1998, 1 km, dans l’air! 2002, 67 km, fibre. 2002, Cryptographie quantique commerciale. 2002, Mitsubishi, 87km, fibre. 2002, Magik Technologie entre dans la course.

Page 41: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Téléportation

Page 42: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Téléportation

Analyser un objet, transmettre un message classique (radio) et reconstruire l’objet à distance.

On ne peut même pas analyser un seul photon.

On ne peut pas copier un photon. Donc, la téléportation est impossible.

Page 43: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Téléportation

Richard Jozsa, William Wootters, Charles Bennett,Gilles Brassard, Claude Crépeau, Asher Peres.

Page 44: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Téléportation

Alice et Bob échangent un état quantique spécial (EPR). Alice et Bob sont maintenant très éloignés. Alice obtient un état quantique X qu’elle désire transmettre à Bob. Alice mesure sa partie de la paire EPR et l’état à téléporter. Elle

transmet le résultat à Bob classiquement. En conséquence, Bob manipule sa partie de la paire EPR et obtient l’état X.

Page 45: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

1998

• Quantum Optics Group, Norman Bridge Laboratory of Physics, California Institute of Technology, Étas-Unis.• H. Jeff Kimble en tête de l’équipe.• Tous les qubits sont des polarisations de photons.• EPR par parametric down convertion.• Distance 1m.• Première expérience complète et convaincante.• F=0.58 > 0.5

Page 46: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Shémas de l’expérience

Page 47: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Un qubit

10 10

12

1

2

0

avec

Page 48: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Deux qubits

11100100 11100100

avec

12

11

2

10

2

01

2

00

Page 49: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Trois qubits

111110101100011010001000 111110101100011010001000

12

111

2

110

2

101

2

100

2

011

2

010

2

001

2

000

avec

Page 50: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

n qubits

12

0

n

ii i 1

12

0

2

n

iiavec

La description de n qubits nécessite coefficients complexesn2

Page 51: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Circuits quantiques

2x

W

C-NOT

P

X

C-NOT

C-NOT

1x

3x

0

0

0

2x

1x

3x

0

0

)( 321 xxxf

Page 52: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Parallélisme

Si

)(,0, xfxxF

alors

xn

xn

xfxxF )(,2

10,

2

1

Page 53: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Factorisation et logarithme discret

Sur un ordinateur quantique, la factorisation ne prend pas beaucoup plus de temps que la multiplication.

L’ordinateur quantique peut briser tous les codes utilisés sur Internet.

Page 54: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Simulation de système quantique

La description d’un système quantique nécessite un espace exponentiel.

Les algorithmes classiques de simulation nécessitent un temps exponentiel.

Avec un ordinateur quantique, on peut faire ces simulations efficacement.

Page 55: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Pseudo télépathie

Page 56: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Pseudo télépathie

Page 57: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Carré magique

Table 3 x 3 de 0 et 1 Les lignes sont paires Les colonnes son impairs

Page 58: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Carré magique ?

0 1 1 PAIR

Page 59: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Carré magique ?

0 1 10 0 0

PAIR

PAIR

Page 60: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Carré magique ?

0 1 10 0 01

PAIR

PAIR

IMPAIR

Page 61: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Carré magique ?

0 1 10 0 01 0

EVEN

EVEN

IMPAIR IMPAIR

Page 62: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Carré magique ?

0 1 10 0 01 0 ?

PAIR

PAIR

IMPAIR IMPAIR

Page 63: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Le jeu

Demander une ligne à Alice. Demander une colonne à Bob. Pour gagner, la ligne doit être pair et

la colonne impair. La position commune doit être identique.

C’est évidemment impossible. Pourtant, ils gagnent à tout coup!

Page 64: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Implantation

Page 65: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Implantation

Un système quantique avec des qubits bien identifiés.

La capacité d’initialiser les qubits. Un ensemble de portes universelles. Un temps de décohérance

significativement plus long que le temps de réalisation d’une porte quantique.

La capacité de mesurer les qubits.

Page 66: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

RMN

Laboratoire de recherche IBM.

2001 Qubit = spin molécules Factoriser 15 !

Isaac Chuang et Costantino Yannoni

1810

Page 67: Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de Montréal Septembre 2008

Conclusion

Cryptographie Téléportation Ordinateur ultra performant Pseudo-télépathie