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

Transcript of Informatique quantique Alain Tapp Laboratoire dinformatique théorique et quantique Université de...

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